Entscheidbarkeit der Theorie der Linearen Ordnung in L

Heinrich Herre, Helmut Wolter. Entscheidbarkeit der Theorie der Linearen Ordnung in L. Math. Log. Q., 24(1-6):73-78, 1978. [doi]

Abstract

Abstract is missing.