Enderton H. B.. The unique existential quantifier. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 , pp. 52–54 [Book Review]

Journal of Symbolic Logic 40 (4):627-627 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271843

Links

PhilArchive



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

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

Schröter Karl. Der Nutzen der mathemalischen Logik für die Mathematik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 , pp. 2–16; also Archiv für Philosophie, vol. 4 no. 1 , pp. 82-96. [REVIEW]G. Zubieta R. - 1951 - Journal of Symbolic Logic 16 (3):218-218.
Behmann Heinrich. Zu den Parallelreihentransformationen in Schröders “Algebra und Logik der Relative”. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 2 , pp. 52–62; also Archiv für Philosophie, vol. 4 no. 2 , pp. 212–222. [REVIEW]Th Skolem - 1955 - Journal of Symbolic Logic 20 (1):75-75.
Review: H. B. Enderton, The Unique Existential Quantifier. [REVIEW]Donald A. Martin - 1975 - Journal of Symbolic Logic 40 (4):627-627.
Markwald Werner. Ein Satz über die elementararithmetischen Definierbarkeitsklassen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 2–4 , pp. 78–86; also Archiv für Philosophie vol. 5 no. 4 , pp. 398–406. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):374-374.
Behmann Heinrich. Das Auflösungsproblem in der Klassenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 1 no. 1 , pp. 17–29, and vol. 1 no. 2 , pp. 33–51; also Archiv für Philosophie, vol. 4 no. 1 , pp. 97–109, and vol. 4 no. 2 , pp. 193–211. [REVIEW]G. Zubieta R. - 1953 - Journal of Symbolic Logic 18 (1):74-75.
Kreisel G.. Remark on complete interpretations by models. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 , pp. 4–9; also Archiv für Philosophie, vol. 5 no. 1 , pp. 84–89. [REVIEW]D. van Dalen - 1971 - Journal of Symbolic Logic 36 (1):169-169.
Orey Steven. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 146–153.Feferman S., Kreisel G., and Orey S.. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 , pp. 52–63. [REVIEW]J. R. Shoenfield - 1975 - Journal of Symbolic Logic 40 (4):627-627.
Kempski Jürgen v.. Relationen- und prädikatenlogische Untersuchungen zur Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 , S. 87–99; auch Archiv für Philosophie, Bd. 5 , S. 407–419. [REVIEW]Klaus Härtig - 1959 - Journal of Symbolic Logic 24 (1):79-80.
Gentzen Gerhard. Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen. Archiv für mathematische Logik und Grundlagenforschung, vol. 2 no. 1 , pp. 1–3; also Archiv für Philosophie, vol. 5 no. 1 , pp. 81–83. [REVIEW]John Riser - 1973 - Journal of Symbolic Logic 38 (1):157-157.
On Rational Betting Systems.Ernest W. Adams - 1962 - Archiv für Mathematische Logik Und Grundlagenforschung 6:7-29.
Bar-Hillel Y.. Bolzano's propositional logic. Archiv für Philosophie, t. 4 n° 3 , p. 305–338; aussi Archiv für mathematische Logik und Grundlagenforschung, t. 1 n° 3 , p. 65–98. [REVIEW]J. Dopp - 1956 - Journal of Symbolic Logic 21 (4):386-387.
Lorenzen Paul. Zur Begründung der Modallogik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 , S. 15–28; auch Archiv für Philosophie, Bd. 5 Heft 1 , S. 95–108. [REVIEW]H. Arnold Schmidt - 1959 - Journal of Symbolic Logic 24 (2):174-175.
Lorenzen Paul. Zur Interpretation der Syllogistik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2, Heft 2–4 , S. 100–103; auch Archiv für Philosophie, Bd. 5, Heft 4 , S. 420–423. [REVIEW]Klaus Härtig - 1958 - Journal of Symbolic Logic 23 (2):229-230.
Montague Richard and Kalish Donald. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 50–64, 65–73. [REVIEW]Jaakko Hintikka - 1958 - Journal of Symbolic Logic 23 (4):449-450.
Schütte Kurt. Ein System des verknüpfenden Schließens. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4, S. 34–67; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 375–387. [REVIEW]Wilhelm Ackermann - 1957 - Journal of Symbolic Logic 22 (3):297-298.

Analytics

Added to PP
2016-06-30

Downloads
16 (#903,096)

6 months
2 (#1,188,460)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Donald A. Martin
University of California, Los Angeles

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references