Here is a list of books which I have authored or edited.

- Leo Harrington, Michael Morley, Andre Scedrov and Stephen
G. Simpson (editors),
, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1985, XVI + 408 pages.*Harvey Friedman's Research in the Foundations of Mathematics* - Stephen G. Simpson (editor),
, Contemporary Mathematics, Volume 65, American Mathematical Society, 1987, XI + 394 pages.*Logic and Combinatorics* - Stephen G. Simpson,
, Perspectives in Mathematical Logic, Springer-Verlag, 1999, XIV + 445 pages.*Subsystems of Second Order Arithmetic* - Stephen G. Simpson (editor),
; Lecture Notes in Logic, Volume 21, Association for Symbolic Logic, 2005, X + 401 pages.*Reverse Mathematics 2001* - Stephen G. Simpson,
, Second Edition, Perspectives in Logic, Association for Symbolic Logic, Cambridge University Press, 2009, XVI + 444 pages.*Subsystems of Second Order Arithmetic* - Solomon Feferman, Charles Parsons, and Stephen G. Simpson
(editors),
, Association for Symbolic Logic, Cambridge University Press, 2010, X + 373 pages.*Kurt Gödel: Essays for his Centennial*

More information on *Subsystems of Second
Order Arithmetic* and *Reverse
Mathematics 2001* is available.

Also available are my complete list of publications and information on my recent and upcoming talks.

t20@psu.edu / 25 July 2023