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

Raymond Smullyan on Self-Reference
a new book edited by Melvin Fitting and Brian Raymond
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.]



Department of Mathematics and Computer Science (Emeritus)
Lehman College
Bronx, NY

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 pictues of the Graduate Center and Lehman