Qty:1
  • List Price: $179.00
  • Save: $37.23 (21%)
In Stock.
Ships from and sold by Amazon.com.
Gift-wrap available.
+ $3.99 shipping
Used: Like New | Details
Sold by pbshop
Condition: Used: Like New
Comment: Used - Like New Book from multilingual publisher. Shipped from UK in 10 to 14 business days. Please check language within Amazon's description
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

The Classical Decision Problem Paperback – August 28, 2001


See all 3 formats and editions Hide other formats and editions
Amazon Price New from Used from
Paperback
"Please retry"
$141.77
$115.99 $123.97
Best%20Books%20of%202014
NO_CONTENT_IN_FEATURE

Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details


Editorial Reviews

Review

From the reviews of the first edition:

"The authors … describe their effort as that of ‘combining the features of a research monograph and a textbook.’ They suggest that the book - or selected chapters of it - might be used for an introductory course on decision problems, undecidability, and the complexity of decision procedures. … So there is usually a lot to think about in making sense of the author’s arguments. This is part of what makes this book so enjoyable." (R. Gregory Taylor, The Review of Modern Logic, Vol. 9 (3-4), 2004)

"This is the most comprehensive treatment available in book form of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. A revealing analysis of the natural order of decidable and undecidable cases is given. ... Many cases are treated here for the first time, and a great number of simple proofs and exercises have been included." (L’Enseignement Mathematique, Vol. 48 (1-2), 2002)

"The book is dedicated to a comprehensive presentation of the classical decision problem of first-order logic. … This book is an essential reference for any researcher in logic, complexity, and artificial intelligence. … Historical references that are placed at the end of each chapter are very enjoyable and help the reader follow the literature and gain a perspective of the field. … an excellent reference book for researchers in the field, and for advanced doctoral students in theoretical computer science and logic." (Dan A. Simovici, SIGACT News, Vol. 35 (1), 2004)


More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

There are no customer reviews yet.
5 star
4 star
3 star
2 star
1 star
Share your thoughts with other customers