- Avicenna on the Law of Non-contradiction
- Topos Theory in Montréal in the 1970s: My Personal Involvement
- Logic: A Very Short Introduction
- Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem
- Boolean considerations on John Buridan’s octagons of opposition
- Varieties of Demonstration in Alfarabi
- Frege’s Unification
- The Great Formal Machinery Works. Theories of Deduction and Computation at the Origins of the Digital Age
- The History of Philosophical and Formal Logic from Aristotle to Tarski
- Shaping the Enemy: Foundational Labelling by L.E.J. Brouwer and A. Heyting
- Gödel’s Disjunction: The Scope and Limits of Mathematical Knowledge
- Logic Lectures. Gödel’s Basic Logic Course at Notre Dame
- Logic Lectures. Gödel’s Basic Logic Course at Notre Dame
- Fārābī and Avicenna on Contraposition
- Mereology in Aristotle’s Assertoric Syllogistic
- Aristotle, Logic, and QUARC
- Sellars, Second-order Quantification, and Ontological Commitment
- Abstractionism. Essays in the Philosophy of Mathematics
- Aristotelian Logic Axioms in Propositional Logic: The Pouch Method