Built-up systems of fundamental sequences and hierarchies of number-theoretic functions.
Diana Schmidt (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “Choice sequences and reduction processes.”
Built-up systems of fundamental sequences and hierarchies of number-theoretic functions.
Postscript to "Built-up systems of fundamental sequences and hierarchies of number-theoretic functions".
Diana Schmidt (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Interpretationen der Heyting-Arithmetik endlicher Typen.
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on descriptions and natural deduction. II.
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Remarks on descriptions and natural deduction.
R. Montague, D. Kalish (1957)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
The unique existential quantifier.
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Saturation and omitting types.
D.W.H. Gillam (1977)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Generalized quantifiers and well orderings.
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Existential interpretation. II.
Yuri Gurevich (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Inequivalence of the fragments of new foundations.
Urs Oswald (1981)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: