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 10 (1966)
Précédent Suivant

Tome 10 (1966)

Sommaire


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