• Review: The limits of abstraction by Kit fine (review)
    Notre Dame Journal Fo Formal Logic 44 227-251. 2003.
  • Book Reviews (review)
    Studia Logica 101 (3): 637-639. 2013.
  • Set Theory
    Cambridge University Press. 2022.
    Set theory is a branch of mathematics with a special subject matter, the infinite, but also a general framework for all modern mathematics, whose notions figure in every branch, pure and applied. This Element will offer a concise introduction, treating the origins of the subject, the basic notion of set, the axioms of set theory and immediate consequences, the set-theoretic reconstruction of mathematics, and the theory of the infinite, touching also on selected topics from higher set theory, con…Read more
  • Computability and Logic
    with George S. Boolos and Richard C. Jeffrey
    Bulletin of Symbolic Logic 9 (4): 520-521. 2003.
  • Logic, Mathematics, Science. Quine's Philosophy of Logic and Mathematics
    In Gilbert Harman & Ernest LePore (eds.), A Companion to W. V. O. Quine, Wiley-blackwell. 2013.
  • Philosophical logic
    Bulletin of Symbolic Logic 16 (3): 411-413. 2010.