Diagonalization and Self-Reference
Oxford University Press

Diagonalization and Self-Reference

Subjects: Mathematical logic, Maths & Science
ISBN13: 9780198534501
Published: 01 Sep 1994

Format - Hardback
By Smullyan, Raymond M.

Usually ready in 6-10 weeks.

A$503.72
A$503.72 A$519.30
Compare Ask a question Share

Diagonalization and Self-Reference

A$503.72
A$503.72 A$519.30
Product description

The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.

Shipping & Return

Shipping cost is based on weight. Just add products to your cart and use the Shipping Calculator to see the shipping price.

We want you to be 100% satisfied with your purchase. Items can be returned or exchanged within 30 days of delivery.