The Undecidable

ISBN 13: 9780486432281

FREE Shipping on 3 books or more! - for all UK orders - find out more

£20.99

Availability

In stock, available today

Author Martin Davis
Format Paperback
Editor Martin Davis
No. of Pages 416
Brand: Dover Publications

Information
Customer Reviews (0)
Delivery

An anthology of fundamental papers on undecidability and unsolvability, this classic reference opens with Gí_del's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by Gí_del, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. 1965 edition.

Be the first to Write a Review for this item!

UK Delivery

Order 3 or more books to enjoy FREE UK delivery!

Method	Cost for Single Book	Additional Book
UK Standard	£2.95	£0.55 * Order 3 + books for FREE delivery
UK First Class	£3.90	£2.00

Overseas

Method	Cost for Delivery	Plus Cost per Book
Europe (Standard Air via Royal Mail)	£5.00	£5.00
Rest of World (Air Mail)	£8.00	£6.00

In Stock items are sent same day (Monday to Friday before 3 pm) or within one working day.

Find out more in our full delivery and returns information