The Classical Decision Problem
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
CHF 192.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V301:
Libri-Titel folgt in ca. 2 Arbeitstagen
Produktdetails
Weitere Autoren: Grädel, Erich / Gurevich, Yuri
- ISBN: 978-3-540-42324-9
- EAN: 9783540423249
- Produktnummer: 8668442
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2001
- Seitenangabe: 482 S.
- Masse: H23.6 cm x B15.5 cm x D2.5 cm 740 g
- Auflage: Softcover reprint of the original 1st ed. 1997
- Abbildungen: 3 schwarz-weiße Abbildungen, Bibliographie
- Gewicht: 740
34 weitere Werke von Egon Börger:
Bewertungen
Anmelden