How to Prove It: A Structured Approach
Daniel J. Velleman
Computer Systems: A Programmer's Perspective Plus Masteringengineering ...
Randal E. Bryant & David R. O'Hallaron
Advanced Engineering Electromagnetics
Constantine A. Balanis
Beginning Mathematical Logic: A Study Guide
Peter Smith
Entropy and Diversity: The Axiomatic Approach
Tom Leinster