|
|
|
Item Details
Title:
|
DIAGONALIZATION AND SELF-REFERENCE
|
By: |
Raymond M. Smullyan |
Format: |
Hardback |
List price:
|
£245.00 |
Our price: |
£214.38 |
Discount: |
|
You save:
|
£30.62 |
|
|
|
|
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 |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|