The Classical Decision Problem (Perspectives in Mathematical Logic) - Hardcover

Börger, Egon; Grädel, Erich; Gurevich, Yuri

 
9783540570738: The Classical Decision Problem (Perspectives in Mathematical Logic)
Hardcover
ISBN 10: 354057073X ISBN 13: 9783540570738
Verlag: Springer, 1997

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1997
Sprache
Englisch
ISBN 10 
354057073X
ISBN 13 
9783540570738
Einband
Gebundene Ausgabe
Anzahl der Seiten
482
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540423249: The Classical Decision Problem (Universitext)

Vorgestellte Ausgabe

ISBN 10:  3540423249 ISBN 13:  9783540423249
Verlag: Springer Berlin Heidelberg, 2008
Softcover