
Search the dblp DataBase
Raymond M. Smullyan:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Raymond M. Smullyan
Puzzles and Paradoxes (Abstract). [Citation Graph (0, 0)][DBLP] CADE, 1992, pp:208 [Conf]
 Raymond M. Smullyan
Logicians Who Reason About Themselves. [Citation Graph (0, 0)][DBLP] TARK, 1986, pp:341352 [Conf]
 Raymond M. Smullyan
An Isomorphism Related to Gödel's Fundamental Operations. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2004, v:12, n:6, pp:439445 [Journal]
 Raymond M. Smullyan
Languages in Which Self Reference is Possible. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1957, v:22, n:1, pp:5567 [Journal]
 Raymond M. Smullyan
On Post's Canonical Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1962, v:27, n:1, pp:5557 [Journal]
 Raymond M. Smullyan
Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1964, v:29, n:3, pp:150162 [Journal]
 Raymond M. Smullyan
Analytic Natural Deduction. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1965, v:30, n:2, pp:123139 [Journal]
 Raymond M. Smullyan
Trees and Nest Structures. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1966, v:31, n:3, pp:303321 [Journal]
 Raymond M. Smullyan
Finite Nest Structures and Propositional Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1966, v:31, n:3, pp:322324 [Journal]
 Raymond M. Smullyan
Uniform Gentzen Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1968, v:33, n:4, pp:549559 [Journal]
 Raymond M. Smullyan
Analytic Cut. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1968, v:33, n:4, pp:560564 [Journal]
Search in 0.003secs, Finished in 0.004secs
