For My Classes
Books & Papers
Availability of Books
Book and Paper Errata
Other Web Pages
Prose and Poetry
!!!Handbook of Modal Logic!!!
The Four Color Theorem

Saul Kripke Memorial Conference
May 8 - 9, 2023
Details can be found here.

Remembering Raymond Smullyan, an event held on April 27, 2017, from 4 to 6:30pm. The website, and video, are available here.

Computational Logic; A 70th Birthday Celebration Honoring Melvin Fitting, Video of the Conference

Herbrand Award speech: This was delivered in Manchester at the CADE/IJCAR conference, June 26, 2012. [The parts in square brackets were extemporaneous additions to the written text.]

Fitting at 80: A conference at the CUNY Graduate center, January 28, 2023. Eventually video of the conference will be posted.



Departments of Computer Science, Philosophy, and Mathematics (Emeritus)
The Graduate School and University Center
365 Fifth Avenue
New York, NY 10016-4309

Graduate Center room 4330
phone 212 817-8653

See a few pictues of the Graduate Center and Lehman