The Story of Proof
John Stillwell
The Language of Mathematics
Raúl Rojas
An Introduction To Category Theory
Harold Simmons
Introduction To Mathematical Logic
Richard E. Hodel
Principles of Mathematics
Bertrand Russell
Our Knowledge of the External World
Bertrand Russell
Gödel's Proof
Ernest Nagel
Classical Descriptive Set Theory
A. S. Kechris
Concise Introduction To Logic and Set Theory
Iqbal H. Jebril
Essential Logic For Computer Science
Rex Page
Sum Stories
Robin J. Wilson
In All Likelihood
Yudi Pawitan
What Is Mathematical Logic?
Guillermo Badia
Alcuin's Recreational Mathematics
Marcel Danesi
Groups of Finite Morley Rank
Alexandre Borovik
Cause, Effect, and Everything in Between
Aboozar Hadavand
Gödel's Theorem
A. W. Moore
