Browse by

  • Collections
  • Sources

Geodesic


    Browse by

    • Collections
    • Sources
Archiv für mathematische Logik und Grundlagenforschung
Volume 10 (1966)
Previous Next

Volume 10 (1966)

Table of contents


On the bounds of the minimal length of sequences representing simply ordered sets.
David Deever; A. Abian
p. 3-5

Some generalized Sheffer functions.
S., Abian, A. LaMacchia
p. 6-7

Paths in Kleene's 0.
Peter H.G. Aczel
p. 8-12

Primitiv-rekursive Funktionen über einem Bereich endlicher Mengen.
D. Rödding
p. 13-29

Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen.
F.-K. Mahn
p. 30-33

Eine semantische Charkterisierung der durch die Implikation allein darstellbaren Wahrheitsfunktionen.
R. Villars
p. 34-36

Aussagenlogisch fundierte Theorien.
Horst Luckhardt
p. 37-58

Zur Axiomatisierbarkeit von Theorien in der schwachen Logik der zweiten Stufe.
Wolfram Schwabhäuser
p. 60-96

Von Wright's relative Modalitäten.
Horst Luckhardt
p. 97-122

On the existence of an empty set in set-theoretical methods.
A. Abian; S. LaMacchia
p. 123-126
  • About
  • Contact
  • Legal notice
  • Privacy policy