| Set theory and the continuum problem |
Raymond M. Smullyan and Melvin Fitting |
James Cummings |
The Journal of Symbolic Logic |
1999 |
| Smullyan Raymond M. Diagonalization and self-reference |
|
Lev Beklemishev |
The Journal of Symbolic Logic |
1996 |
| First-order logic. Corrected republication of XL 237 |
Raymond M. Smullyan |
Jeremy Avigad |
The Journal of Symbolic Logic |
1996 |
| Recursion theory for metamathematics |
Raymond M. Smullyan |
Piergiorgio Odifreddi |
The Journal of Symbolic Logic |
1995 |
| Gödel's Incompleteness Theorems |
Raymond M Smullyan |
A D Irvine |
History and Philosophy of Logic |
1994-01-01 |
| Recursion theory for metamathematics |
Raymond M Smullyan |
A D Irvine |
History and Philosophy of Logic |
1994-01-01 |
| What is the Name of this Book? The Riddle of Dracula and Other Logical Puzzles |
Raymond M. Smullyan |
J. A. Robles |
Crítica: Revista Hispanoamericana de Filosofía |
1981-08-00 |
| What is the Name of this Book? The Riddle of Dracula and Other Logical Puzzles |
Raymond M. Smullyan |
George Boolos |
The Philosophical Review |
1980-07-00 |
| First-order logic |
Raymond M. Smullyan |
William Craig |
The Journal of Symbolic Logic |
1975 |
| Raymond M. Smullyan |
|
William Craig |
The Journal of Symbolic Logic |
1970 |
| Theory of formal systems |
Raymond M. Smullyan |
Marian Boykan Pour-El |
The Journal of Symbolic Logic |
1965 |
| Methods of Logic |
Willard Van Orman Quine |
Raymond M. Smullyan |
The Journal of Symbolic Logic |
1959 |
