Mathematical Logic
Download or Read eBook Mathematical Logic PDF written by Stephen Cole Kleene and published by Courier Corporation. This book was released on 2013-04-22 with total page 436 pages. Available in PDF, EPUB and Kindle.
Author | : Stephen Cole Kleene |
Publisher | : Courier Corporation |
Total Pages | : 436 |
Release | : 2013-04-22 |
ISBN-10 | : 9780486317076 |
ISBN-13 | : 0486317072 |
Rating | : 4/5 (76 Downloads) |
Book Synopsis Mathematical Logic by : Stephen Cole Kleene
Book excerpt: Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.