5309:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
The main purpose of this book is to present a unified treatment of fixed points as they occur in Gdel'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.
- Format: Inbunden
- ISBN: 9780198534501
- Språk: Engelska
- Antal sidor: 412
- Utgivningsdatum: 1994-09-01
- Förlag: Clarendon Press