The Classical Decision Problem
- Nakladatel
- Springer Verlag, 2001
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... Číst víc
- Brožovaná vazba
- Angličtina
Potřebujete poradit knihu?
Zeptejte se online knihkupce!
Proč nakupovat knihy na Martinus.cz?
- Máme více než 300 000 knih skladem
- Knihomolská záložka ke každému nákupu
- Více než 9 000 výdejních míst