An extension of the Kreisel-Putman system.
N. Georgieva (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
N. Georgieva (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Gerhard Jäger (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jörg Flum (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
George S. Boolos (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Ulf R. Schmerl (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Charles Parsons (1962/63)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
A.B. Slomson (1972)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
S. Caporaso, G. Pani (1982)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Jan Krajicek (1987)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
H.B. Enderton (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: