Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets
The Languages of Logic: An Introduction to Formal Logic
Introduction to Contemporary Epistemology
Naming and Necessity
The Philosopher's Toolkit: A Compendium of Philosophical Concepts and Methods
Theory of Knowledge
On the Philosophy of Logic (Wadsworth Philosophical Topics)
Introduction to Logic: and to the Methodology of Deductive Sciences (Dover Books on Mathematics)
Logic: A Very Short Introduction
The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number