Diagonalization and Self-Reference
Raymond M. (Professor of Philosophy, Professor of Philosophy, Indiana University) Smullyan
Oxford University Press, 1994
458,50 €On orderDelivery: 2-3 weeks
BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.
- ISBN-13
- 9780198534501
- ISBN-10
- 0198534507
- Publisher
- Oxford University Press
- Year
- 1994
- Publication date
- 1994-09-01
- Pages
- 412
- Dimensions
- 244x166x29
- Weight
- 778