| 2004 |
|---|
| 12 | EE | Raymond M. Smullyan:
An Isomorphism Related to Gödel's Fundamental Operations.
Logic Journal of the IGPL 12(6): 439-445 (2004) |
| 1992 |
|---|
| 11 | | Raymond M. Smullyan:
Puzzles and Paradoxes (Abstract).
CADE 1992: 208 |
| 1986 |
|---|
| 10 | | Raymond M. Smullyan:
Logicians Who Reason About Themselves.
TARK 1986: 341-352 |
| 1970 |
|---|
| 9 | | James K. Feibleman,
Raymond M. Smullyan,
Robert L. Vaught:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 35(2): 352-363 (1970) |
| 1968 |
|---|
| 8 | | Raymond M. Smullyan:
Uniform Gentzen Systems.
J. Symb. Log. 33(4): 549-559 (1968) |
| 7 | | Raymond M. Smullyan:
Analytic Cut.
J. Symb. Log. 33(4): 560-564 (1968) |
| 1966 |
|---|
| 6 | | Raymond M. Smullyan:
Trees and Nest Structures.
J. Symb. Log. 31(3): 303-321 (1966) |
| 5 | | Raymond M. Smullyan:
Finite Nest Structures and Propositional Logic.
J. Symb. Log. 31(3): 322-324 (1966) |
| 1965 |
|---|
| 4 | | Raymond M. Smullyan:
Analytic Natural Deduction.
J. Symb. Log. 30(2): 123-139 (1965) |
| 1964 |
|---|
| 3 | | Raymond M. Smullyan:
Meeting of the Association for Symbolic Logic.
J. Symb. Log. 29(3): 150-162 (1964) |
| 1962 |
|---|
| 2 | | Raymond M. Smullyan:
On Post's Canonical Systems.
J. Symb. Log. 27(1): 55-57 (1962) |
| 1957 |
|---|
| 1 | | Raymond M. Smullyan:
Languages in Which Self Reference is Possible.
J. Symb. Log. 22(1): 55-67 (1957) |
