Diagonalization and Self-Reference
Regular price
€319.30
Category=PBCD
Category=UYA
eq_bestseller
eq_computing
eq_isMigrated=0
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Product details
- ISBN 9780198534501
- Weight: 778g
- Dimensions: 158 x 242mm
- Publication Date: 01 Sep 1994
- Publisher: Oxford University Press
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
