Raymond M. Smullyan

Available identifiers

zbMath Open smullyan.raymond-mWikidataQ441178 ScholiaQ441178MaRDI QIDQ354135

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5868872	2022-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q4610460	2019-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2964182	2017-02-23	Paper
A Beginner's Further Guide to Mathematical Logic	2016-12-22	Paper
The Magic Garden of George B and Other Logic Puzzles	2015-05-21	Paper
Reflections	2015-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q5169493	2014-07-10	Paper
Truth and provability	2013-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q4918397	2013-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q3604283	2009-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q3599164	2009-02-03	Paper
An Isomorphism Related to Gödel's Fundamental Operations	2005-03-11	Paper
https://portal.mardi4nfdi.de/entity/Q4428881	2003-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4532190	2003-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4226423	1999-01-26	Paper
https://portal.mardi4nfdi.de/entity/Q4220568	1998-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q4340909	1997-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4309515	1994-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4271268	1994-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4274292	1993-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4692926	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q4003735	1993-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3999021	1992-09-17	Paper
Some unifying fixed point principles	1992-06-25	Paper
Some new double induction and superinduction principles	1990-01-01	Paper
Uniform self-reference	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3703868	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3705451	1985-01-01	Paper
Fixed points and self-reference	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3335706	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3310595	1981-01-01	Paper
TREES AND BALL GAMES	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3869300	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5684645	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5606558	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5560258	1968-01-01	Paper
Analytic cut	1968-01-01	Paper
Uniform Gentzen systems	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4067102	1967-01-01	Paper
Trees and nest structures	1966-01-01	Paper
Finite nest structures and propositional logic	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4067101	1965-01-01	Paper
Analytic natural deduction	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596743	1965-01-01	Paper
Effectively Simple Sets	1964-01-01	Paper
Pseudo-uniform reducibility	1963-01-01	Paper
On Post's canonical systems	1963-01-01	Paper
Creativity and Effective Inseparability	1963-01-01	Paper
A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY	1963-01-01	Paper
Elementary formal systems	1961-01-01	Paper
Theory of Formal Systems. (AM-47)	1961-01-01	Paper
Extended Canonical Systems	1961-01-01	Paper
Monadic Elementary Formal Systems	1961-01-01	Paper
Theories with Effectively Inseparable Nuclei	1960-01-01	Paper
Exact Separation of Recursively Enumerable Sets Within Theories	1960-01-01	Paper
Undecidability and recursive inseparability	1958-01-01	Paper
Languages in which self reference is possible	1957-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Raymond M. Smullyan