Decidable Theories
Vol. 2: The Monadic Second Order Theory of All Countable Ordinals
(Sprache: Englisch)
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.
Leider schon ausverkauft
versandkostenfrei
Buch
42.75 €
21 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Decidable Theories “
Klappentext zu „Decidable Theories “
The monadic second order theory of ?1.- Axiomatization of the monadic second order theory of ?1.
Inhaltsverzeichnis zu „Decidable Theories “
- The monadic second order theory of ?1- Axiomatization of the monadic second order theory of ?1
Bibliographische Angaben
- Autoren: J. R. Büchi , D. Siefkes
- 1973, 1973., 224 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben von Müller, G. H.; Siefkes, D.
- Herausgegeben: D. Siefkes, G. H. Müller
- Verlag: Springer
- ISBN-10: 3540063455
- ISBN-13: 9783540063452
- Erscheinungsdatum: 05.07.1973
Sprache:
Englisch
Kommentar zu "Decidable Theories"
0 Gebrauchte Artikel zu „Decidable Theories“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Decidable Theories".
Kommentar verfassen