Decidable Theories
Vol. 1: Büchi`s Monadic Second Order Successor Arithmetic
(Sprache: Englisch)
Decidability and completeness of SC.- Benefits of the decision procedure.
Leider schon ausverkauft
versandkostenfrei
Buch
26.70 €
Produktdetails
Produktinformationen zu „Decidable Theories “
Klappentext zu „Decidable Theories “
Decidability and completeness of SC.- Benefits of the decision procedure.
Inhaltsverzeichnis zu „Decidable Theories “
- Decidability and completeness of SC- Benefits of the decision procedure
Bibliographische Angaben
- Autor: Dirk Siefkes
- 1970, 144 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: Gert H. Müller
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540049096
- ISBN-13: 9783540049098
- Erscheinungsdatum: 01.01.1970
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