A note on undecidable extensions of monadic second order successor arithmetic.
Wolfgang Thomas (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Wolfgang Thomas (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Martin Stein (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
E.A. Sonenberg (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Joram Hirschfeld (1980)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Daniele Mundici (1983)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
N. Georgieva (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
G. Kreisel (1954/56)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Richard A. Shore (1984)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Robert Fittler (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Dirk Siefkes (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
R. Haberthür (1978)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: