The Classical Decision Problem (Perspectives in Mathematical Logic)

Boerger, E./ Gradel, E./ Gurevich, Y.

Springer-Verlag Berlin and Heidelberg GmbH & Co. K（1996/12発売）

ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す

製本 Hardcover:ハードカバー版／ページ数 482 p.
言語 ENG
商品コード 9783540570738
DDC分類 511.3

Full Description

This treatment of the classical decision problem of mathematical logic and its role in modern computer science provides an analysis of the natural order of decidable and undecidable cases. Of particular interest is the complete classification of the solvable and unsolvable standard cases of the classical decision problem, the complexity analysis of the solvable cases, the extremely comprehensive treatment of the reduction method, and the model-theoretic analysis of solvable cases. Many simple proofs and exercises are included in the book.