dblp.uni-trier.dewww.uni-trier.de

Raymond M. Smullyan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
12EERaymond M. Smullyan: An Isomorphism Related to Gödel's Fundamental Operations. Logic Journal of the IGPL 12(6): 439-445 (2004)
1992
11EERaymond 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)

Coauthor Index

1James K. Feibleman [9]
2Robert L. Vaught [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)