Philosophical Logic

Set Theory and Logic

Rigor and Structure

Naive Set Theory

Mathematics, Models, and Modality: Selected Philosophical Essays

Everything and More: A Compact History of Infinity

A Logician's Perspective on the Relation Between the Mind and Body: Mentality and Modality

Category Theory for the Sciences

Fixing Frege

The Logic of Infinity

Journey to the Edge of Reason: The Life of Kurt Gödel

A Subject With No Object: Strategies for Nominalistic Interpretation of Mathematics

Set Theory: The Structure of Arithmetic

Philosophical Introduction to Set Theory

Basic Set Theory

Handbook of Mathematical Induction: Theory and Applications

Higher-Order Logic and Type Theory

Mathematical Logic

How to Prove It: A Structured Approach, Edition 3