Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit II Wilhelm Ackermann OriginalPaper Pages: 96 - 111
On the universal completeness of classes of relational systems Hugo Ribeiro OriginalPaper Pages: 90 - 95
Das Vereinfachungsproblem für aussagenlogische normalformen Heinrich Behmann OriginalPaper Pages: 65 - 89
Number theoretic concepts and recursive well-orderings G. KreiselJ. ShoenfieldHao Wang OriginalPaper Pages: 42 - 64
Representability op recursively enumerable sets in formal theories A. EhrenfeuchtS. Feferman OriginalPaper Pages: 37 - 41
Über die Axiome arithmetischer Klassen mit Abgeschlossenheitsbedingungen Arnold Oberschelp OriginalPaper Pages: 26 - 36
Über Einfachheitsprinzipien in der Wahrscheinlichkeitstheorie I Walter Oberschelp OriginalPaper Pages: 3 - 25
Einige Bemerkungen zur Grundlegung der Wahrscheinlichkeitstheorie in Elementaren Sprachen Horst Kiesow OriginalPaper Pages: 124 - 127
Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen Arnold Oberschelp OriginalPaper Pages: 95 - 123
Über Interpretationen der Prädikatenkalküle Höherer Stufe G. Hasenjaeger OriginalPaper Pages: 71 - 80
Die Anwendung Eines Einfachheitsprinzips auf die Wahrscheinlichkeitstheorie Horst Kiesow OriginalPaper Pages: 27 - 41
Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I Wilhelm Ackermann OriginalPaper Pages: 3 - 26
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül G. KreiselH. Putnam OriginalPaper Pages: 74 - 78
Remarks on descriptions and natural deduction Richard MontagueDonald Kalish OriginalPaper Pages: 65 - 73
Remarks on descriptions and natural deduction Richard MontagueDonald Kalish OriginalPaper Pages: 50 - 64
Die Gesamtheit der Idempotenten Implikativen Modalitätenstrukturen H. Arnold Schmidt OriginalPaper Pages: 29 - 49
Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen Thomas Eichholz OriginalPaper Pages: 19 - 28
Relationen- und Prädikatenlogische Untersuchungen zur Syllogistik Jürgen v. Kempski OriginalPaper Pages: 87 - 99
Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen Werner Markwald OriginalPaper Pages: 78 - 86
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln Heinz GuminHans Hermes OriginalPaper Pages: 68 - 77
Das Fundamentale Implikationensystem Einer Implikativen Modalitätenstruktur mit Idempotenter Möglichkeit H. Arnold Schmidt OriginalPaper Pages: 33 - 54
Zusammenfassung von Mehreren Vollständigen Induktionen zu einer Einzigen Gerhard Gentzen OriginalPaper Pages: 1 - 3
Topologische Untersuchungen zur Semantik und Syntax Eines Erweiterten Prädikatenkalküls Gisbert Hasenjaeger OriginalPaper Pages: 99 - 129
Zu den Parallelreihentransformationen in Schröders „Algebra und Logik der Relative“ OriginalPaper Pages: 52 - 62