Classical First-Order Logic Classical First-Order Logic
٢٠٢٢
Varieties of Logic Varieties of Logic
٢٠١٤
Philosophy of Mathematics Philosophy of Mathematics
١٩٩٧
The History of Continua The History of Continua
٢٠٢٠
Friedrich Waismann Friedrich Waismann
٢٠١٩
Mathematical Structuralism Mathematical Structuralism
٢٠١٨