分享给好友:
The Classical Decision Problem - Universitext Egon Boerger Softcover reprint of the original 1st ed. 1997 edition
The Classical Decision Problem - Universitext
Egon Boerger
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.
482 pages, 3 black & white illustrations, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2001年8月28日 |
| ISBN13 | 9783540423249 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 482 |
| 商品尺寸 | 155 × 235 × 25 mm · 689 g |
| 语言 | 英语 |