 |
|
|
Item Details
| Title:
|
DIAGONALIZATION AND SELF-REFERENCE
|
| By: |
Raymond M. Smullyan |
| Format: |
Hardback |
| List price:
|
£257.50 |
| Our price: |
£225.31 |
| Discount: |
|
| You save:
|
£32.19 |
|
|
|
|
|
| ISBN 10: |
0198534507 |
| ISBN 13: |
9780198534501 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
OXFORD UNIVERSITY PRESS |
| Pub. date: |
1 September, 1994 |
| Series: |
Oxford Logic Guides 27 |
| Pages: |
412 |
| Description: |
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 Godel'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. |
| Synopsis: |
The main purpose of this book is to present a unified treatment of fixed points as they occur in Godel'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. |
| Publication: |
UK |
| Imprint: |
Clarendon Press |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|