5309:-
Uppskattad leveranstid 10-16 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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 Gdel'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.
This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Gdel'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.
- Format: Inbunden
- ISBN: 9780198534501
- Språk: Engelska
- Antal sidor: 412
- Utgivningsdatum: 1994-09-01
- Förlag: Clarendon Press