coauthored with Richard Mendelsohn, First-Order Modal Logic (Second Edition), Springer, 2023.
coauthored with Greer Fitting, Numbers, Texts in Mathematics 7, College Publications, London, 2020.
coauthored with Sergei Artemov, Justification Logic: Reasoning With Reasons, Cambridge University Press, 2019.
coedited with Brian Rayman, Raymond Smullyan on Self Reference, Outstanding Contributions to Logic series, Springer, 2018.
Incompleteness in the Land of Sets, College Publications, 2007.
Modal Proof Theory. Chapter Two in Handbook of Modal Logic, Patrick Blackburn, Johan van Benthem, and Frank Wolter editors, Springer-Verlag, 2006.
Formal Methods, chapter 4 in Formal Philosophy, Vincent Hendricks and John Symons editors, pp 27--33, Automatic Press, 2005.
Intensional Logic---Beyond First Order. In Vincent F. Hendricks and Jacek Malinowski editors, Trends in Logic: 50 Years of Studia Logica, pages 87--108, Kluwer Academic Publishers, 2003.
coedited with Ewa Orlowska, Beyond Two: Theory and Applications of Multiple-Valued Logic, Springer, 2003.
Types, Tableaus, and Goedel's God, Kluwer, 2002.
coauthored with Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1998.
coauthored with Raymond M. Smullyan, Set Theory and the Continuum Problem, 1996, Oxford University Press. Revised edition, 2010, Dover Publications.
Introduction. In Marcello D'Agostino, Dov Gabbay,
Reiner Hähnle, and Joachim
Posegga, editors, Handbook of Tableau Methods. Kluwer,
1999.
Basic modal logic. In Dov M. Gabbay, C.J. Hogger,
and J.A. Robinson, editors,
Handbook of Logic in Artificial Intelligence and Logic Programming,
volume 1, pages 368 - 448. Oxford University Press, 1993.
First-Order Logic and Automated Theorem
Proving. Springer-Verlag, 1990.
Second edition, 1996.
Computability Theory, Semantics and Logic
Programming. Oxford University Press,
1987. Japanese edition, Maruzen Co, Tokyo, 1989.
Proof Methods for Modal and Intuitionistic
Logics. D. Reidel Publishing Co.,
Dordrecht, 1983.
Fundamentals of Generalized Recursion Theory. North-Holland Publishing Co.,
Amsterdam, 1981.
Intuitionistic Logic Model Theory and Forcing. North-Holland Publishing Co.,
Amsterdam, 1969.