Books and Book Chapters

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.

[Go home]