Computability and Logic

Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets

Mathematical Logic (Dover Books on Mathematics)

How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library)

How to Prove It: A Structured Approach

A Book of Abstract Algebra: Second Edition

C Programming Language

Mathematics for the Nonmathematician (Dover Books on Mathematics)

Fifty Challenging Problems in Probability with Solutions (Dover Books on Mathematics)

An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)

Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)