Hardback (01 Sep 1994)
Includes delivery to the United States
10+ copies available online - Usually dispatched within 2-3 weeks
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 |
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Every Bit Counts
Paperback
Published 13 Dec 2024
$9.02off
The Web We Weave
Hardback
Published 05 Dec 2024
Save $9.02
$3.50off
Hands-on Mathematical Optimizat...
Paperback
Published 16 Jan 2025
Save $3.50
$16.72off
The Metaverse Dilemma
Hardback
Published 02 Dec 2024
Save $16.72
Smart-Tech Society
Paperback
Published 14 Jun 2024
Just Enough Research
Paperback
Published 01 Oct 2024
Acta Numerica 2024
Hardback
Published 07 Nov 2024
