We stand with Ukraine  

Raymond M. Smullyan

Affiliations:
  • Indiana University, Department of Philosophy, Bloomington


According to our database1, Raymond M. Smullyan authored at least 17 papers between 1957 and 2015.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Reflections - The Magic, Music and Mathematics of Raymond Smullyan
[BibTeX]
[DOI]
Raymond M. Smullyan
WorldScientific, ISBN: 9789814644600, 2015

2004
An Isomorphism Related to Gödel's Fundamental Operations.
[BibTeX]
[DOI]
Raymond M. Smullyan
Log. J. IGPL, 2004

1993
Recursion theory for metamathematics.
[BibTeX]
Raymond M. Smullyan
Oxford logic guides 22, Oxford University Press, ISBN: 978-0-19-508232-6, 1993

1992
Puzzles and Paradoxes (Abstract).
[BibTeX]
[DOI]
Raymond M. Smullyan
Proceedings of the Automated Deduction, 1992

1991
Some unifying fixed point principles.
[BibTeX]
[DOI]
Raymond M. Smullyan
Stud Logica, 1991

1990
Some new double induction and superinduction principles.
[BibTeX]
[DOI]
Raymond M. Smullyan
Stud Logica, 1990

1986
Logicians Who Reason About Themselves.
[BibTeX]
Raymond M. Smullyan
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

1985
Uniform self-reference.
[BibTeX]
[DOI]
Raymond M. Smullyan
Stud Logica, 1985

1970
Meeting of the Association for Symbolic Logic.
[BibTeX]
[DOI]
James K. Feibleman
,
Raymond M. Smullyan
,
Robert L. Vaught
J. Symb. Log., 1970

1968
Analytic Cut.
[BibTeX]
[DOI]
Raymond M. Smullyan
J. Symb. Log., 1968

Uniform Gentzen Systems.
[BibTeX]
[DOI]
Raymond M. Smullyan
J. Symb. Log., 1968

1966
Finite Nest Structures and Propositional Logic.
[BibTeX]
[DOI]
Raymond M. Smullyan
J. Symb. Log., 1966

Trees and Nest Structures.
[BibTeX]
[DOI]
Raymond M. Smullyan
J. Symb. Log., 1966

1965
Analytic Natural Deduction.
[BibTeX]
[DOI]
Raymond M. Smullyan
J. Symb. Log., 1965

1964
Meeting of the Association for Symbolic Logic.
[BibTeX]
[DOI]
Raymond M. Smullyan
J. Symb. Log., 1964

1962
On Post's Canonical Systems.
[BibTeX]
[DOI]
Raymond M. Smullyan
J. Symb. Log., 1962

1957
Languages in Which Self Reference is Possible.
[BibTeX]
[DOI]
Raymond M. Smullyan
J. Symb. Log., 1957


  Loading...