This book presents one of the most intellectually challenging aspects of computer related mathematics/logic in a way which should make it accessible to a wider audience. The authors look at different types of reduction to show undecidability, but do so using the novel approach of conversation between three famous mathematicians - sometimes using their own words and sometimes in an adapted form. The authors are of international repute and they provide a modern and authoritative treatment of undecidability with special emphasis on rigorous proofs. Numerous worked examples are included.
"synopsis" may belong to another edition of this title.
Book Description Prentice Hall, 1994. Paperback. Book Condition: Good. Ex Library Book with usual stamps and stickers. Good condition book. Good condition is defined as: a copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Most items will be dispatched the same or the next working day. Bookseller Inventory # mon0004965951
Book Description Prentice Hall. Paperback. Book Condition: VERY GOOD. Very Good: Cover and pages show some wear from reading and storage. May have light creases on the cover and binding. Bookseller Inventory # 2623649791
Book Description Book Condition: Very Good. Book Condition: Very Good. Bookseller Inventory # 97801329742573.0
Book Description PEARSON EDUCACION. Book Condition: Muy Bueno / Very Good. Bookseller Inventory # 100000000851019