Hermes Hans. Einführung in die mathematische Logik. Klassische Prädikatenlogik. B. G. Teubner Verlagsgesellschaft, Stuttgart 1963, 187 S [Book Review]

Journal of Symbolic Logic 30 (3):355-356 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269624

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

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

Asser G.. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig 1959, VI + 184 pp. [REVIEW]H. Hermes - 1960 - Journal of Symbolic Logic 25 (3):276-277.
Einführung in die Mathematische Logik. Klassische Prädikatenlogik.Erwin Engeler - 1973 - Journal of Symbolic Logic 38 (4):647-647.
Asser G.. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. A reprint of XXV 276. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig 1965, VI + 184 pp. [REVIEW]Ann S. Ferebee - 1968 - Journal of Symbolic Logic 33 (2):304-304.
Schütte Kurt. Schlussweisen-Kalküle der Prädikatenlogik. Mathematische Annalen, vol. 122 , pp. 47–65.Alfons Borgers - 1951 - Journal of Symbolic Logic 16 (2):155-156.
Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 , pp. 192–200. [REVIEW]Ronald Harrop - 1964 - Journal of Symbolic Logic 29 (3):145-146.
Schütte Kurt. Zur Widerspruchsfreiheit einer typenfreien Logik. Mathematische Annalen, Bd. 125 Heft 4 , S. 394–400.W. Ackermann - 1955 - Journal of Symbolic Logic 20 (1):67-67.
Kurt Schütte. Predicative well-orderings. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 280–303. - Kurt Schütte. Eine Grenze fúr die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 , pp. 45–60. [REVIEW]Charles Parsons - 1967 - Journal of Symbolic Logic 32 (2):284-285.
John N. Crossley and Kurt Schütte. Non-uniqueness at ω2 in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 9 , pp. 95–101. - Peter H. G. Aczel. Paths in Kleene's O. Archiv für mathematische Logik und Grundlagenforschung, vol. 10 , pp. 8–12. [REVIEW]Gustav B. Hensel - 1970 - Journal of Symbolic Logic 35 (2):336.
Heinrich Scholz. Die mathematische Logik und die Geisteswissenschaften. Studium generale, Bd. 11 , S. 180–187.H. Hermes - 1964 - Journal of Symbolic Logic 29 (4):197.

Analytics

Added to PP
2013-11-22

Downloads
40 (#553,424)

6 months
12 (#277,123)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Über eine verallgemeinerung der robinsonschen modellvervollständigung I.Klaus Kaiser - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):37-48.

Add more citations

References found in this work

No references found.

Add more references