Diagonalization and Self-Reference

Raymond M Smullyan author

Format:Hardback

Publisher:Oxford University Press

Published:1st Sep '94

Currently unavailable, and unfortunately no date known when it will be back

Diagonalization and Self-Reference cover

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.

ISBN: 9780198534501

Dimensions: 242mm x 158mm x 26mm

Weight: 778g

412 pages