Hermes Hans. Aufzählbarkeit, Entscheidbarkelt, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. Springer-Verlag, Berlin-Göttingen-Heidelberg 1961, X + 246 pp [Book Review]

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: 92,907

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

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der Rekursiven Funktionen.Hans Hermes - 1966 - Journal of Symbolic Logic 31 (2):254-254.
Hermes Hans. Einführung in die Verbandstheorie. Second, enlarged edition of XXII 222. Springer-Verlag, Berlin-Heidelberg-New York 1967, xii + 209 pp. [REVIEW]Pascual Jordan - 1971 - Journal of Symbolic Logic 36 (4):677-677.
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.
Lorenzen Paul. Einführung in die operative Logik und Mathematik. Die Grundlehren der mathematischen Wissenschaften, vol. 78. Springer-Verlag, Berlin-Göttingen-Heidelberg 1955, VII + 298 pp. [REVIEW]Th Skolem - 1957 - Journal of Symbolic Logic 22 (3):289-290.
Reidemeister Kurt. Anschauung als Erkenntnisquelle. A reprint of XIII 154. Kurt Reidemeister, Geist und Wirklichkeit, Kritische Essays, Springer-Verlag, Berlin-Göttingen-Heidelberg 1953, pp. 11–25.Reidemeister Kurt. Die Selbständigkeit des Denkens. A reprint of XIII 154. Kurt Reidemeister, Geist und Wirklichkeit, Kritische Essays, Springer-Verlag, Berlin-Göttingen-Heidelberg 1953, pp. 46–52. [REVIEW]Julius Kraft - 1957 - Journal of Symbolic Logic 22 (1):89-90.
Reviews. Kurt Schütte. Beweistheorie. Springer-Verlag, Berlin-Göttingen-Heidelberg 1960, X + 355 pp. [REVIEW]Georg Kreisel - 1960 - Journal of Symbolic Logic 25 (3):243-249.
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.
Prädikatenlogik und theorie der rekursiven funktionen.Hans Hermes - 1968 - In Raymond Klibansky (ed.), Contemporary Philosophy. Firenze, la Nuova Italia. pp. 1--254.
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.
Klug Ulrich. Juristische Logik. Springer-Verlag, Berlin-Göttingen-Heidelberg, 1951, VIII + 160 pp. [REVIEW]Nicholas Rescher - 1952 - Journal of Symbolic Logic 17 (4):274-274.
Hermes Hans. Introduction to mathematical logic. English translation of XXXVIII 518 by Diana Schmidt. Springer-Verlag, New York, Heidelberg, and Berlin, 1973, XI + 242 pp. [REVIEW]Don Pigozzi - 1980 - Journal of Symbolic Logic 45 (1):187-188.
Bachmann Heinz. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, n.s. no. 1. Springer-Verlag, Berlin-Göttingen-Heidelberg 1955, VII + 204 pp. [REVIEW]J. W. Addison - 1959 - Journal of Symbolic Logic 24 (3):223-224.
Hermes Hans. Term logic with choice operator. A revised and enlarged translation of XXXV 440. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1970, iv + 55 pp. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):679-680.
Klug Ulrich. Juristische Logik. Second, revised edition of XVII 274. Springer-Verlag, Berlin-Göttingen-Heidelberg 1958, VIII + 164 pp. [REVIEW]Gert Heinz Müller - 1959 - Journal of Symbolic Logic 24 (1):87-87.
Hilbert D. and Ackermann W.. Grundzüge der theoretischen Logik. Fourth edition. Die Grundlagen der mathematischen Wissenschaften, vol. 27. Springer-Verlag, Berlin-Göttingen-Heidelberg 1959, VIII + 188 pp. [REVIEW]F. H. Fischer - 1960 - Journal of Symbolic Logic 25 (2):158-158.

Analytics

Added to PP
2013-11-22

Downloads
12 (#1,110,155)

6 months
3 (#1,037,581)

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