- We will send in 10–14 business days.
/https://libri-media.knygos-static.lt/e01e1ba0-1b3d-4d30-b10f-7caac8c954de/3)
- Author: Egon Börger, Erich Gradel, Yuri Gurevich
- Publisher: Springer-Verlag GmbH
- Year: 2001
- ISBN-10: 3540423249
- ISBN-13: 9783540423249
- Format: 15.5 x 23.6 x 2.5 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
The Classical Decision Problem (e-book) (used book) | bookbook.eu
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 24d.01:45:20
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Egon Börger, Erich Gradel, Yuri Gurevich
- Publisher: Springer-Verlag GmbH
- Year: 2001
- ISBN-10: 3540423249
- ISBN-13: 9783540423249
- Format: 15.5 x 23.6 x 2.5 cm, minkšti viršeliai
- Language: English English
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.
Reviews