You need to sign in or sign up before continuing.
Scan barcode
281 pages • missing pub info (editions)
ISBN/UID: 9781077323391
Format: Paperback
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. I...
Community Reviews
Content Warnings
281 pages • missing pub info (editions)
ISBN/UID: 9781077323391
Format: Paperback
Language: English
Publisher: Not specified
Publication date: Not specified
Description
This book is an introduction to metamathematics and Gödel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. I...
Community Reviews
Content Warnings