Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen

, &
Journal of Symbolic Logic 40 (3):453-454 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272176

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Review: J. Diller, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Zur Berechenbarkeit Primitiv-Rekursiver Funktionale Endlicher Typen. [REVIEW]William A. Howard - 1975 - Journal of Symbolic Logic 40 (3):453-454.
Zur Komplexitätsmessung Primitiv‐Rekursiver Funktionen Über Quotiententermmengen.Michael Deutsch - 1982 - Mathematical Logic Quarterly 28 (22‐24):345-363.
Zur Eigenschaft Primitiv-Rekursiver Funktionen, Unendlich Viele Werte Anzunehmen.W. Markwald - 1958 - Journal of Symbolic Logic 23 (1):48-48.
Berechenbarkeit in Topologischen Räumen Mit Rekursiver Basis.Jürgen Hauck - 1981 - Mathematical Logic Quarterly 27 (25‐30):473-480.
Ambiguität in der Kunst: Typen und Funktionen eines ästhetischen Paradigmas.Verena Krieger, Rachel Mader & Katharina Jesberger (eds.) - 2010 - Köln: Böhlau.
Die Berechenbarkeit des Lebendigen.B. KÜppers - 1985 - Philosophia Naturalis 22 (2):250.
Indexmengen Rekursiver Reeller Zahlen.Wolfgang Schade - 1979 - Mathematical Logic Quarterly 25 (7‐12):103-110.
Indexmengen und Erkennung Rekursiver Funktionen.Reinhard Klette - 1976 - Mathematical Logic Quarterly 22 (1):231-238.
Berechenbarkeit Und Recht.Hermann Jahrreiss - 1927 - T. Weicher.
Review: D. Rodding, Klassen Rekursiver Funktionen. [REVIEW]Gunter Asser - 1972 - Journal of Symbolic Logic 37 (1):196-196.
Zur Robinson‐Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen.Günter Asser - 1988 - Mathematical Logic Quarterly 34 (4):317-322.
Die Berechenbarkeit des Menschen.Wolfgang Köhler - 2005 - E-Journal Philosophie der Psychologie 1.
Das Homomorphietheorem für MV‐Algebren Endlicher Ordnung.Dietrich Schwartz - 1976 - Mathematical Logic Quarterly 22 (1):141-148.
Die Entscheidbarkeit der Endlichen Ununterscheidbarkeit Endlicher Automaten.P. Hummitzsch - 1971 - Mathematical Logic Quarterly 17 (1):315-322.
H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit.Oskar Becker - 1962 - Philosophische Rundschau 10:151.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,168,820)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

No references found.

Add more references