Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
The Landscapes of Science and Religion: What Are We Disagreeing ...
Nick Spencer & Hannah Waite
Beginning Mathematical Logic: A Study Guide
Peter Smith
How to Prove It: A Structured Approach
Daniel J. Velleman
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash