Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Archiv für mathematische Logik und Grundlagenforschung
Tome 3 (1957)
Précédent
Suivant
In memoriam Jan Lukasiewicz.
Heinrich Scholz
p. 3-18
Semantische Untersuchungen zur Entscheidbarkeit im Prädikatenkalkül mit Funktionsvariablen.
Thomas Eichholz
p. 19-28
Die Gesamtheit der idempotenten implikativen Modalitätenstrukturen.
H. Arnold Schmidt
p. 29-49
Remarks on descriptions and natural deduction.
R. Montague
;
D. Kalish
p. 50-64
Remarks on descriptions and natural deduction. II.
R. Montague
;
D. Kalish
p. 65-73
Eine Unableitbarkeitsmethode für den intuitionistischen Aussagenkalkül.
G. Kreisel
;
H. Putnam
p. 74-78
Kriterien für die Herleitbarkeit in Modalitätenstrukturen.
Günther Emde
p. 79-111
Über die Syllogismen als Relationenmultiplikationen.
Paul Lorenzen
p. 112-116
The validity of equations of complex algebras.
N.D. Gautam
p. 117-124
Frege und die Schaltalgebra.
W. Hoering
p. 125-126