Book of Proof
Richard H. Hammack
Beginning Mathematical Logic: A Study Guide
Peter Smith
Introduction to the Theory of Computation (Third Edition): Ji ...
Michael Sipser
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
The Landscapes of Science and Religion: What Are We Disagreeing ...
Nick Spencer & Hannah Waite