Decidable Theories
Vol. 2: The Monadic Second Order Theory of All Countable Ordinals, Lecture Notes
H Müller, G / Siefkes, /
Erschienen am
01.07.1973, Auflage: 1. Auflage
Zusätzliche Informationen
Zurzeit sind keine weiteren Informationen zu diesem Artikel vorhanden.