Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der Rekursiven Funktionen

Journal of Symbolic Logic 31 (2):254-254 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269817

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hermes Hans. Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. Springer-Verlag, Berlin-Göttingen-Heidelberg 1961, X + 246 pp. [REVIEW]Kurt Schutte - 1966 - Journal of Symbolic Logic 31 (2):254-254.
H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.Oskar Becker - 1962 - Philosophische Rundschau 10:151.
Einführung in die Grundlagen der Mathematik: Theorie der Berechenbarkeit, mathematische Logik, Mengenlehre.Michael Deutsch - 1999 - Universitatsdruckerei Bremen.
Über die Verallgemeinerung der Theorie der Rekursiven Funktionen fūr Abstrakte Mengen Geeigneter Struktur als Definitionsbereiche.Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):620-621.
Über Die Eliminierbarkeit Von Definitionsschemata In Der Theorie Der Rekursiven Funktionen.Dieter Rödding - 1964 - Mathematical Logic Quarterly 10 (18):315-330.
Review: Hans Hermes, Einfuhrung in die Verbandstheorie. [REVIEW]Pascual Jordan - 1971 - Journal of Symbolic Logic 36 (4):677-677.
Péter Rózsa. Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen. German with Russian abstract. Acta mathematica Academiae Scientiarum Hungaricae, vol. 2 , pp. 247–274. [REVIEW]Raphael M. Robinson - 1953 - Journal of Symbolic Logic 18 (3):263-264.
Über die eliminierbarkeit Von definitionsschemata in der theorie der rekursiven funktionen.Dieter Rödding - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):315-330.
Ein neuer Beweis für die Tatsache, dass die Klasse der primitiv‐rekursiven Funktionen umfassender als die Klasse der elementaren Funktionen ist.Rózsa Péter - 1955 - Mathematical Logic Quarterly 1 (1):29-36.
Review: Hans Hermes, Einfuhrung in die Mathematische Logik. Klassische Pradikatenlogik. [REVIEW]Erwin Engeler - 1973 - Journal of Symbolic Logic 38 (3):518-519.

Analytics

Added to PP
2015-02-05

Downloads
6 (#1,484,355)

6 months
3 (#1,046,495)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references