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