Login / Signup

Entscheidbarkeit der Theorie der Linearen Ordnung in L.

Heinrich HerreHelmut Wolter
Published in: Math. Log. Q. (1978)
Keyphrases