Decidable Theories
Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.
CHF 56.50
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Siefkes, D. / Müller, G. H. (Hrsg.) / Siefkes, D. (Hrsg.)
- ISBN: 978-3-540-06345-2
- EAN: 9783540063452
- Produktnummer: 3635417
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1973
- Seitenangabe: 228 S.
- Masse: H23.5 cm x B15.5 cm x D1.2 cm 353 g
- Auflage: 1973
- Abbildungen: Paperback
- Gewicht: 353
Bewertungen
Anmelden