picture of R. Smullyan

Lecture Slides:

Robert Cowen
Martin Davis
John Michael Dunn
Melvin Fitting
Anil Nerode