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 [Book Review]

Journal of Symbolic Logic 61 (2):699-701 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275689

Links

PhilArchive



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

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.
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.
Devlin Keith. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp. [REVIEW]H. B. Enderton - 1994 - Journal of Symbolic Logic 59 (4):1441-1442.
Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
Jagdish Mehra & Helmut Rechenberg. The Historical Development of Quantum Theory. Volume 5. Erwin Schrödinger and the Rise of Wave Mechanics. Part 1. Schrödinger in Vienna and Zurich, 1887–1925 and Part 2. The Creation of Wave Mechanics; Early Response and Applications, 1925–1926. Berlin, Heidelberg, New York: Springer-Verlag, 1987. Pp. xix + 366 and viii + 615. ISBN 3-540-96284-0 and 96377-4. DM 148.00 and 98.00. [REVIEW]John Hendry - 1988 - British Journal for the History of Science 21 (3):371-372.
Scott Dana. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by Engeler E., Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366. [REVIEW]John C. Reynolds - 1975 - Journal of Symbolic Logic 40 (2):247-248.
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.
Sikorski Roman. Boolean algebras. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 25. Springer-Verlag, Berlin-Göttingen-Heidelberg 1960, IX + 176 pp.Sikorski Roman. Boolean algebras. Second edition. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 25. Academic Press, Inc., New York, and Springer-Verlag, Berlin-Göttingen-Heidelberg, 1964, X + 237 pp. [REVIEW]Donald Monk - 1966 - Journal of Symbolic Logic 31 (2):251-253.
Richard Laver. The left distributive law and the freeness of an algebra of elementary embeddings. Advances in mathematics, vol. 91 , pp. 209–231. - Richard Laver. A division algorithm for the free left distributive algebra. Logic Colloquium '90, ASL summer meeting in Helsinki, edited by J. Oikkonen and J. Väänänen, Lecture notes in logic, no. 2, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1993, pp. 155–162. - Richard Laver. On the algebra of elementary embeddings of a rank into itself. Advances in mathematics, vol. 110 , pp. 334–346. - Richard Laver. Braid group actions on left distributive structures, and well orderings in the braid groups. Journal of pure and applied algebra, vol. 108 , pp. 81–98. - Patrick Dehornoy. An alternative proof of Laver's results on the algebra generated by an elementary embedding. Set theory of the continuum, edited by H. Judah, W. Just, and H. Woodin, Mathematics Sciences Research Institute publications, vol. 26, Springer-Verlag, New York, Berlin. [REVIEW]Aleš Drápal - 2002 - Bulletin of Symbolic Logic 8 (4):555-560.
Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152. [REVIEW]Zoé Chatzidakis - 1998 - Journal of Symbolic Logic 63 (2):746-747.
O. Neugebauer, Astronomy And History, Selected Essays..., New York- Berlin-heidelberg, Springer-verlag, 1983.[author unknown] - 1986 - Revue d'Histoire des Sciences 39 (4):371.
Mathematics Gesammelte Abhandlungen. By David Hubert. 2nd edition. Berlin: Springer Verlag, 1970. 3 vols. Pp. xvi + 539; viii + 453; vii + 435 $27.00. Hilbert Gedenkband. Ed. by K. Reidemeister. Berlin: Springer Verlag, 1971. Pp. v + 86. DM 22. [REVIEW]J. D. North - 1972 - British Journal for the History of Science 6 (2):208-209.
Hilbert D. and Bernays P.. Grundlagen der Mathematik II. Second edition of V 16. Springer-Verlag, Berlin, Heidelberg, and New York, 1970, XIV + 561 pp. [REVIEW]G. T. Kneebone - 1974 - Journal of Symbolic Logic 39 (2):357-357.
Hilbert D. and Bernays P.. Grundlagen der Mathematik I. Second edition of 5071. Springer-Verlag, Berlin, Heidelberg, New York, 1968, XV + 473 pp. [REVIEW]G. T. Kneebone - 1970 - Journal of Symbolic Logic 35 (2):321-323.

Analytics

Added to PP
2013-11-03

Downloads
25 (#630,077)

6 months
2 (#1,186,462)

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