Ackermann Wilhelm. Widerspruchsfreier Aufbau der Logik I. Typenfreies System ohne tertium non datur [Book Review]

Journal of Symbolic Logic 16 (1):72-72 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268697

Links

PhilArchive



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

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: Wilhelm Ackermann, Widerspruchsfreier Aufbau der Logik I. Typenfreies System Ohne Tertium non Datur. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (1):72-72.
Widerspruchsfreier aufbau der logik I: Typenfreies system ohne tertium non datur.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. . Mathematische Zeitschrift, vol. 55 , pp. 364–384.Ackermann Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik. II. Mathematische Zeitschrift, vol. 57 , pp. 155–166. [REVIEW]Ronald Harrop - 1954 - Journal of Symbolic Logic 19 (4):295-296.
Widerspruchsfreier Aufbau der Logik I.Wilhelm Ackermann - 1950 - Journal of Symbolic Logic 15 (1):33-57.
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfahigkeit.Ronald Harrop - 1967 - Journal of Symbolic Logic 32 (2):259-259.
Der Aufbau Einer Höheren Logik.Wilhelm Ackermann - 1975 - Journal of Symbolic Logic 40 (3):458-458.
Review: Wilhelm Ackermann, Der Aufbau Einer Hoheren Logik. [REVIEW]Kurt Schutte - 1975 - Journal of Symbolic Logic 40 (3):458-458.
„existence” And „tertium Non Datur”.Virgil DrĂghici - 2004 - Studia Philosophica 1.
Tertium Datur. Historical Preconditions and Ways to Mitterer's Non-dualizing Philosophy.P. Weibel - 2008 - Constructivist Foundations 3 (3):134-139.
Ackermann Wilhelm. Ein System der typenfreien Logik I. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, new series, no. 7. Leipzig 1941, 29 pp. [REVIEW]Paul Bernays - 1942 - Journal of Symbolic Logic 7 (2):93-95.
Ein System der Typenfreien Logik I.Wilhelm Ackermann - 1942 - Journal of Symbolic Logic 7 (2):93-95.
Review: Wilhelm Ackermann, Ein System der Typenfreien Logik I. [REVIEW]Paul Bernays - 1942 - Journal of Symbolic Logic 7 (2):93-95.
Ackermann Wilhelm. Philosophische Bemerkungen zur mathematischen Logik und zur mathematischen Grundlagenforschung. Ratio , vol. 1 no. 1 , pp. 1–20.Ackermann Wilhelm. Philosophical observations on mathematical logic and on investigations into the foundations of mathematics. English translation. Ratio , vol. 1 no. 1 , pp. 1–23. [REVIEW]John van Heijenoort - 1958 - Journal of Symbolic Logic 23 (3):342-343.
Konstruktiver Aufbau Eines Abschnitts der Zweiten Cantorschen Zahlenklasse.Wilhelm Ackermann - 1952 - Journal of Symbolic Logic 17 (2):152-153.
Odrzucenie tertium non datur.Piotr Błaszczyk - 2003 - Kwartalnik Filozoficzny 31 (1):17-37.

Analytics

Added to PP
2016-06-30

Downloads
3 (#1,721,534)

6 months
1 (#1,498,899)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.

Add more citations

References found in this work

No references found.

Add more references