Hardback (01 Sep 1994)
Not available for sale
Includes delivery to the United States
Out of stock
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 |
| Publisher: | Clarendon Press |
| Imprint: | Clarendon Press |
| Pub date: | 01 Sep 1994 |
| DEWEY: | 511.3 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 396 |
| Weight: | 778g |
| Height: | 244mm |
| Width: | 166mm |
| Spine width: | 29mm |
$5.26off
Hardback
Published 23 Aug 2023
Save $5.26
$10.87off
Hardback
Published 30 Jun 2023
Save $10.87
$3.26off
Paperback
Published 28 Jul 2023
Save $3.26
