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. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.
Popüler yazarlar
Kolektif (767) Various (365) Arkose Press (305) Routledge; 1 basım (294) Routledge (241) Cambridge University Press (213) Intl Business Pubn (184) Lem N Lov Publishing (173) Springer (152) DK (138) etc. (132) Anonymous (111) Casey Cockerum (97) Oxford University Press (97) Academic Press (93) DK Publishing (87) Pearson Education Limited (85) Simple Planners 2020 (82) Springer; 1. baskı (81) Icon Group International (79)