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...
Sortiert nach
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...
    Datensatz exportieren als...
  • BibTeX
Rick L. Smith. The consistency strengths of some finite forms of the Higman and Kruskal theorems. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 119–136
The Journal of symbolic logic, 1990-06, Vol.55 (2), p.869-870
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Stephen G. Simpson. Friedman's research on subsystems of second order arithmetic. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 137–159
The Journal of symbolic logic, 1990-06, Vol.55 (2), p.870-874
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hilbert's program sixty years later
The Journal of symbolic logic, 1988-06, Vol.53 (2), p.338-348
1988
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Hilbert's program sixty years later
The Journal of symbolic logic, 1988-06, Vol.53 (2), p.338-348
1988
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Review: Stephen G. Simpson, Friedman's Research on Subsystems of Second Order Arithmetic
The Journal of symbolic logic, 1990, Vol.55 (iss. 2), p.870-874
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Review: Rick L. Smith, The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems
The Journal of symbolic logic, 1990, Vol.55 (iss. 2), p.869-870
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Neil Tennant. Natural logic. Edinburgh University Press, Edinburgh1978, ix + 196 pp
The Journal of symbolic logic, 1983-03, Vol.48 (1), p.215-217
1983
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Review: Neil Tennant, Natural Logic
The Journal of symbolic logic, 1983, Vol.48 (iss. 1), p.215-217
1983
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Symposium on Hilbert's Program
The Journal of symbolic logic, 1988-06, Vol.53 (2), p.337-337
1988
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Friedman's Research on Subsystems of Second Order Arithmetic
The Journal of Symbolic Logic, 1990, Vol.55 (2), p.870-874
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems
The Journal of Symbolic Logic, 1990, Vol.55 (2), p.869-870
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
REVIEWS
The Journal of Symbolic Logic, 1990, Vol.55 (2), p.869-870
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
REVIEWS
The Journal of Symbolic Logic, 1990, Vol.55 (2), p.870-874
1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Natural Logic
The Journal of Symbolic Logic, 1983, Vol.48 (1), p.215-217
1983
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
REVIEWS
The Journal of Symbolic Logic, 1983, Vol.48 (1), p.215-217
1983
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Meeting of the Association for Symbolic Logic, Washington, D.C., 1985
The Journal of symbolic logic, 1986-12, Vol.51 (4), p.1085
1986
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985
The Journal of symbolic logic, 1986-12, Vol.51 (4), p.1085-1092
1986
Volltextzugriff (PDF)
1 – 17 von 17
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieThe Journal Of Symbolic Logic
Suchergebnisse filtern
Filter anzeigen