Classical Decision Problem by E. Boerger & E. Gradel & Y. Gurevich

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.
`Author(s) :`	`Format :` Hardback Book
`ISBN-10 :` 354057073X	`ISBN-13 :` 9783540570738
`RRP :` £61.00	`Best available price :` £ / $
`Prices as of : BST check live prices`

store	stock level	item price	inc. delivery
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
	Not available
Delivery prices - shown in this table - are for the cost of a domestic delivery, as given by the company.

Product Details:

Series Title : Perspectives in mathematical logic

Country Publication : Germany

Publication Date : 31/12/1996

Publisher : Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Page Length : 482mm