Beginning Mathematical Logic: A Study Guide
Peter Smith
Information Theory, Inference and Learning Algorithms
David J. C. MacKay
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult