default search action
Archiv für mathematische Logik und Grundlagenforschung, Volume 2
Volume 2, Number 1, January 1954
- Gerhard Gentzen:
Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen. 1-3 - Georg Kreisel:
Remark on complete interpretations by models. 4-9 - Jean-Louis Destouches:
Allgemeine Theorie der Voraussagen. 10-14 - Paul Lorenzen:
Zur Begründung der Modallogik. 15-28 - Paul Lorenzen:
Zur Begründung der Zweiwertigen Aussagenlogik. 29-32
Volume 2, Numbers 2-4, March 1956
- H. Arnold Schmidt:
Das Fundamentale Implikationensystem Einer Implikativen Modalitätenstruktur mit Idempotenter Möglichkeit. 33-54 - Kurt Schütte:
Ein System des Verknüpfenden Schliessens. 55-67 - Heinz Gumin, Hans Hermes:
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln. 68-77 - Werner Markwald:
Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen. 78-86 - Jürgen v. Kempski:
Relationen- und Prädikatenlogische Untersuchungen zur Syllogistik. 87-99 - Paul Lorenzen:
Zur Interpretation der Syllogistik. 100-103 - J. L. Destouches:
Über den Aussagenkalkül der Experimentalaussagen. 104-105
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.