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


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é