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
  • À propos
  • Contact
  • Mentions légales
  • Politique de confidentialité