Alfred Tarski. A simplified formalization of predicate logic with identity. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 , pp. 61–79 [Book Review]

Journal of Symbolic Logic 39 (3):602-603 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272910

Links

PhilArchive



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

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

Review: Alfred Tarski, A Simplified Formalization of Predicate Logic with Identity. [REVIEW]J. C. Shepherdson - 1974 - Journal of Symbolic Logic 39 (3):602-603.
A Simplified Formalization of Predicate Logic with Identity.Alfred Tarski - 1974 - Journal of Symbolic Logic 39 (3):602-603.
Kurt Schütte. Ein konstruktives System von Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung, vol. 11 , pp. 126–137, and vol. 12 , pp. 3–11. - Helmut Pfeiffer. Ein Bezeichnungssystem für Ordinalzahlen. Archiv für mathematische Logik und Grundlagenforschung vol. 12 , pp. 12–17. [REVIEW]Hilbert Levitz - 1974 - Journal of Symbolic Logic 39 (1):186.
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.
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.
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.
Shepherdson J. C.. Representability of recursively enumerable sets in formal theories. Archiv für mathematische Logik und Grundlagenforschung. vol. 5 nos. 3-4 . pp. 119–127. [REVIEW]Robert A. DiPaola - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Wilhelm Ackermann. Der Aufbau einer höheren Logik. Archiv für mathematische Logik und Grundlagenforschung, Bd. 7 , S. 5–22. [REVIEW]Kurt Schütte - 1975 - Journal of Symbolic Logic 40 (3):458.
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.
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.
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.
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.

Analytics

Added to PP
2016-06-30

Downloads
27 (#591,340)

6 months
6 (#526,006)

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