Diagonalization and Self-Reference
Book Details
Format
Hardback or Cased Book
Book Series
Oxford Logic Guides
ISBN-10
0198534507
ISBN-13
9780198534501
Publisher
Oxford University Press
Imprint
Clarendon Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 1st, 1994
Print length
412 Pages
Weight
778 grams
Dimensions
24.40 x 16.60 x 2.90 cms
Product Classification:
Mathematical logicMathematical theory of computation
Ksh 51,700.00
Manufactured on Demand
Delivery in 29 days
Delivery Location
Delivery fee: Select location
Delivery in 29 days
Secure
Quality
Fast
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 Gödel'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.
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.
Get Diagonalization and Self-Reference by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Oxford University Press and it has pages.
