Klaus Heidler, Hans Hermes, and Friedrich-K. Mahn. Rekursive Funktionen. Bibliographisches Institut-Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1977, vii + 236 pp [Book Review]

Journal of Symbolic Logic 46 (1):165-166 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273272

Links

PhilArchive



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

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

Rekursive Funktionen.Ann S. Ferebee - 1981 - Journal of Symbolic Logic 46 (1):165-166.
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.
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.
Erwin Engeler and Peter Läuchli. Berechnungstheorie für Informatiker. With assistance from Ronald Peikert. Leitfäden und Monographien der Informatik. B. G. Teubner, Stuttgart1988, 120 pp. - Arnold Oberschelp. Rekursionstheorie. B. I. Wissenschaftsverlag, Mannheim, Leipzig, Vienna, and Zürich, 1993, 339 pp. - Walter Felscher. Berechenbarkeit. Rekursive und programmierbare Funktionen. Springer-Lehrbuch. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, xi + 478 pp. [REVIEW]Petr Hájek - 1996 - Journal of Symbolic Logic 61 (2):699-701.
Detlef Laugwitz. Infinitesimalkalkül. Kontinuum und Zahlen—eine elementare Einführung in die Nichtstandard-Analysis. Bibliographisches Institut, Mannheim, Vienna, and Zürich, 1978, 187 pp. [REVIEW]H. J. M. Bos - 1983 - Journal of Symbolic Logic 48 (1):217-219.
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. [REVIEW]Dieter Rödding - 1973 - Journal of Symbolic Logic 38 (1):156-157.
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.
Heindorf Lutz. Elementare Beweistheorie. Wissenschaftsverlag B. I., Mannheim, Leipzig, Wien, und Zürich, 1994, 240 S.Wilfried Buchholz - 1996 - Journal of Symbolic Logic 61 (3):1051-1052.
Uwe Schöning. Logik für Informatiker. Second revised edition. Reihe Informatik, vol. 56. B. I. Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1989, 172 pp. - Uwe Schöning. Logic for computer scientists. English translation of the preceding. Progress in computer science and applied logic, vol. 8. Birkhäuser, Boston, Basel, and Berlin, 1989, ix + 166 pp. [REVIEW]Dirk Siefkes - 1991 - Journal of Symbolic Logic 56 (2):761-762.
Graphschemata und rekursive funktionen.von Rózsa Péter - 1958 - Dialectica 12 (3‐4):373-393.
Lexical Entry on Friedrich Kainz.Gerhard Gelbmann - unknown
Graphschemata und rekursive Funktionen.Rózsa PÉter - 1958 - Dialectica 12 (3):373.
Prädikatenlogik und theorie der rekursiven funktionen.Hans Hermes - 1968 - In Raymond Klibansky (ed.), Contemporary Philosophy. Firenze, la Nuova Italia. pp. 1--254.
Rekursive Funktionen.Raphael M. Robinson & Rozsa Peter - 1951 - Journal of Symbolic Logic 16 (4):280.
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der Rekursiven Funktionen.Hans Hermes - 1966 - Journal of Symbolic Logic 31 (2):254-254.

Analytics

Added to PP
2013-11-03

Downloads
35 (#455,462)

6 months
2 (#1,192,898)

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