Gumin Heinz und Hermes Hans. Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 2–4 , S. 68–77; auch Archiv für Philosophie, Bd. 5 Heft 4 , S. 388–397 [Book Review]

Journal of Symbolic Logic 30 (3):386-387 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269662

Links

PhilArchive



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

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

Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Reglen.Günter Asser - 1965 - Journal of Symbolic Logic 30 (3):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.
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.
Schütte Kurt. Eine Bemerkung über quasirekursive Funktionen. Archiv für mathematische Logik und Grundlagenforschung, Bd. 1 Heft 2 , S. 63–64; zugleich Archiv für Philosophie, Bd. 4 Heft 2 , S. 223–224. [REVIEW]Rózsa Péter - 1953 - Journal of Symbolic Logic 18 (1):75-76.
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.
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.
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.
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.
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.
Sobociński Bolesław. In memoriam Jan Łukasiewicz. Englisch. Philosophical studies , Bd. 6 , S. 3–49.Scholz Heinrich. In memoriam Jan Łukasiewicz. Deutsch. Archiv für mathematische Logik und Grundlagenforschung, Bd. 3 Heft 1–2 , S. 1–18. [REVIEW]K. Dürr - 1957 - Journal of Symbolic Logic 22 (4):385-387.
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.
On Rational Betting Systems.Ernest W. Adams - 1962 - Archiv für Mathematische Logik Und Grundlagenforschung 6:7-29.

Analytics

Added to PP
2013-11-22

Downloads
19 (#781,160)

6 months
3 (#1,002,413)

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