Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
First-Order Logic
1, 1971
Volltextzugriff (PDF)

Theory of Formal Systems. (AM-47)
2016
Volltextzugriff (PDF)

2016
Volltextzugriff (PDF)

Truth and Provability
The Mathematical intelligencer, 2013-03, Vol.35 (1), p.21-24
2013
Volltextzugriff (PDF)


Theory of formal systems
1, 1961
Volltextzugriff (PDF)


Raymond Smullyan on Self Reference
1st ed. 2017 edition., 2018
Volltextzugriff (PDF)

The College mathematics journal, 2011-03, Vol.42 (2), p.159-160
2011
Volltextzugriff (PDF)


Some Unifying Fixed Point Principles
Studia logica, 1991-03, Vol.50 (1), p.129-141
1991
Volltextzugriff (PDF)

Studia logica, 1990-03, Vol.49 (1), p.23-30
1990
Volltextzugriff (PDF)

Chameleonic Languages
Synthese (Dordrecht), 1984-08, Vol.60 (2), p.201-224
1984
Volltextzugriff (PDF)

Open Access
FIXED POINTS AND SELF-REFERENCE
International Journal of Mathematics and Mathematical Sciences, 1984, Vol.1984 (2), p.283-289
1984
Volltextzugriff (PDF)

Uniform Self-Reference
Studia logica, 1985-12, Vol.44 (4), p.439-445
1985
Volltextzugriff (PDF)

Analytic cut
The Journal of symbolic logic, 1969-01, Vol.33 (4), p.560-564
1969
Volltextzugriff (PDF)

On Post's canonical systems
The Journal of symbolic logic, 1962-03, Vol.27 (1), p.55-57
1962
Volltextzugriff (PDF)

Pseudo-uniform reducibility
Journal of the Mathematical Society of Japan, 1963-01, Vol.15 (2), p.129-133
1963
Volltextzugriff (PDF)

Open Access
Elementary formal systems
Journal of the Mathematical Society of Japan, 1961-01, Vol.13 (1), p.38-44
1961
Volltextzugriff (PDF)

Uniform Gentzen systems
The Journal of symbolic logic, 1969-01, Vol.33 (4), p.549-559
1969
Volltextzugriff (PDF)

Bibliography of Raymond Smullyan
Raymond Smullyan on Self Reference, 2018, Vol.14, p.191-195
2018
Volltextzugriff (PDF)

The Journal of symbolic logic, 1966-09, Vol.31 (3), p.322-324
1966
Volltextzugriff (PDF)

Analytic natural deduction
The Journal of symbolic logic, 1965-06, Vol.30 (2), p.123-139
1965
Volltextzugriff (PDF)

The Journal of Symbolic Logic, 1964-09, Vol.29 (3), p.150-162
1964
Volltextzugriff (PDF)

Theory of Formal Systems. (AM-47), 2016, Vol.47, p.19-38
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt