Raymond M. Smullyan

17 papers A 1B 1Journal 13
YearRankTypeTitle / Venue / Authors
2015 — book
Reflections - The Magic, Music and Mathematics of Raymond Smullyan
Reflections
Raymond M. Smullyan
2004 J jnl
An Isomorphism Related to Gödel's Fundamental Operations.
Log. J. IGPL
Raymond M. Smullyan
1993 — book
Recursion theory for metamathematics.
Raymond M. Smullyan
1992 A conf
Puzzles and Paradoxes (Abstract).
CADE
Raymond M. Smullyan
1991 J jnl
Some unifying fixed point principles.
Stud Logica
Raymond M. Smullyan
1990 J jnl
Some new double induction and superinduction principles.
Stud Logica
Raymond M. Smullyan
1986 B conf
Logicians Who Reason About Themselves.
TARK
Raymond M. Smullyan
1985 J jnl
Uniform self-reference.
Stud Logica
Raymond M. Smullyan
1970 J jnl
Meeting of the Association for Symbolic Logic.
J. Symb. Log.
James K. Feibleman, Raymond M. Smullyan, Robert L. Vaught
1968 J jnl
Analytic Cut.
J. Symb. Log.
Raymond M. Smullyan
1968 J jnl
Uniform Gentzen Systems.
J. Symb. Log.
Raymond M. Smullyan
1966 J jnl
Finite Nest Structures and Propositional Logic.
J. Symb. Log.
Raymond M. Smullyan
1966 J jnl
Trees and Nest Structures.
J. Symb. Log.
Raymond M. Smullyan
1965 J jnl
Analytic Natural Deduction.
J. Symb. Log.
Raymond M. Smullyan
1964 J jnl
Meeting of the Association for Symbolic Logic.
J. Symb. Log.
Raymond M. Smullyan
1962 J jnl
On Post's Canonical Systems.
J. Symb. Log.
Raymond M. Smullyan
1957 J jnl
Languages in Which Self Reference is Possible.
J. Symb. Log.
Raymond M. Smullyan