Müller Gert Heinz. Charakterisierung einer Klasse von rekursiven Funktionen. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, herausgegeben von László Kalmár, Akadémiai Kiadó, Budapest 1965, S. 45–51.Müller G. H.. Rekursionsformen in der Zahlentheorie. Automatentheorie und formate Sprachen, Nr. 3, Bericht aus dem Mathematischen Forschungsinstitut Oberwolfach, herausgegeben von Johannes Dörr und Günter Hotz, Bibliographisches Institut, Mannheim–Wien–Zurich, Hochschultaschenbücher–Verlag, Mannheim 1970, S. 399–440 [Book Review]

Journal of Symbolic Logic 38 (1):156-157 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271755

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

Church Alonzo. An independence question in recursive arithmetic. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by László Kalmár, Akadémiai Kiadó, Budapest 1965, pp. 21–26. [REVIEW]Julia Robinson - 1971 - Journal of Symbolic Logic 36 (4):692-693.
Bečvář Jiří. A universal Turing machine with a programming tape. Colloquium on the Foundations of Mathematics, Mathematical Machines and Their Applications, Tihany, 11–15 September 1962, edited by Kalmár László, Akadémiai Kiadó, Budapest 1965, pp. 11–20. [REVIEW]R. M. Baer - 1971 - Journal of Symbolic Logic 36 (3):535-535.
Laugwitz Detlef. Zahlen und Kontinuum. Eine Einführung in die Infinitesimalmathematik. Lehrbücher und Monographien zur Didaktik der Mathematik, Bd. 5. Bibliographisches Institut, Mannheim, Wien, und Zürich, 1986, 269 S. [REVIEW]H. Osswald - 1988 - Journal of Symbolic Logic 53 (2):649-650.
Colloquium on the Foundations of Mathematics, Mathematical Machines, and Their Applications Colloque Sur les Fondements des Mathématiques, les Machines Mathématques, Et Leurs Applications. Kolloquium Über Die Grundlagen der Mathematik, Mathematische.László Kalmár, Bolyai János Matematikai Társulat & Magyar Tudományos Akadémia - 1965 - Akadémiai Kiadó.
Enzyklopädie Philosophie und Wissenschaftstheorie. Unter ständiger Mitwirkung von Siegfried Blasche … hrsg. von Jürgen Mittelstraß. Band 1: A-G. Mannheim/Wien/Zürich 1980: Wissenschaftsverlag-Bibliographisches Institut. 835 SS. Gebunden: 128 DM. [REVIEW]Änne Bäumer - 1982 - Berichte Zur Wissenschaftsgeschichte 5 (3-4):267-268.
Colloque Sur les Fondements des Mathématiques, les Machines Mathématiques, Et Leurs Applications Tihany, 11-15 Septembre 1962.László Kalmár, Magyar Tudományos Akadémia & Bolyai János Matematikai Társulat - 1965 - Gauthier-Villars E. Nauwelaerts.
Enzyklopädie Philosophie und Wissenschaftstheorie. Unter ständiger Mitwirkung von Siegfried Blasche … hrsg. von Jürgen Mittelstraß. Band 2: HO. Mannheim/Wien/Zürich 1984: Wissenschaftsverlag - Bibliographisches Institut. 1105 SS. Gebunden: 156 DM. [REVIEW]Änne Bäumer - 1984 - Berichte Zur Wissenschaftsgeschichte 7 (4):262-263.
Johannes Stark: Erinnerungen eines deutschen Naturforschers. Herausgegeben von Andreas Kleinert. Mannheim: Bionomica Verlag.Wilhelm Walcher - 1990 - Berichte Zur Wissenschaftsgeschichte 13 (3):189-192.
Hermes Hans. Eine Termlogik mit Auswahloperator. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1965, iv + 42 pp. [REVIEW]Gert Heinz Muller - 1970 - Journal of Symbolic Logic 35 (3):440-440.
Review: Laszlo Kalmar, Recent Results Concerning the Foundations of Mathematics; Alfred Renyi, Gyorgy Alexits, Janos Aczel, Remarks Concerning the Lecture of Laszlo Kalmar; Laszlo Kalmar, Laszlo Kalmar's Reply. [REVIEW]John G. Kemeny - 1959 - Journal of Symbolic Logic 24 (2):174-174.
Rödding D.. Klassen rekursiver Funktionen. Proceedings of the summer school in logic, Leeds, 1967, herausgegeben von M. H. Löb, Lecture notes in mathematics, no. 70, Springer-Verlag, Berlin, Heidelberg, und New York, 1968, S. 159–222. [REVIEW]Günter Asser - 1972 - Journal of Symbolic Logic 37 (1):196-196.
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.
Péter Rózsa. Rekursive Funktionen. Akadémiai Kiadó , Budapest 1951, 206 pp. [REVIEW]Raphael M. Robinson - 1951 - Journal of Symbolic Logic 16 (4):280-282.
Carnap Rudolf. Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen. Springer-Verlag, Wien 1954, X + 209 S. [REVIEW]Gert Heinz Müller - 1955 - Journal of Symbolic Logic 20 (3):274-277.
Reviews. Heinrich Scholz and Gisbert Hasenjaeger. Grundzüge der mathematischen Logik. Springer-Verlag, Berlin-Göttingen-Heidelberg 1961, XVI + 504 pp. [REVIEW]Gert Heinz Müller - 1963 - Journal of Symbolic Logic 28 (3):245-249.

Analytics

Added to PP
2013-11-03

Downloads
27 (#576,320)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references