Scan barcode
416 pages • first pub 1994 (editions)
ISBN/UID: 9780198534501
Format: Hardcover
Language: English
Publisher: Clarendon Press
Publication date: 13 October 1994
Description
This book presents a systematic, unified treatment of fixed points as they occur in G�del's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers...
Community Reviews
Content Warnings
416 pages • first pub 1994 (editions)
ISBN/UID: 9780198534501
Format: Hardcover
Language: English
Publisher: Clarendon Press
Publication date: 13 October 1994
Description
This book presents a systematic, unified treatment of fixed points as they occur in G�del's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers...
Community Reviews
Content Warnings