Search
Search Results
-
Introduction
Raymond Smullyan was born in 1919, after the Great War and before the Great Depression. I have known him since I was a graduate student and he was my... -
Dance of the Starlings
In this birdwatching paper our binoculars are focused upon a particular bird from Smullyan’s enchanted forest of combinatory birds (Smullyan in To... -
Logical Frameworks
One way to define a logic is to specify a language and a deductive system. For example, the language of first-order logic consists of the syntactic...