Author: Stephen Cole Kleene

Publisher: Courier Corporation

ISBN: 0486317072

Category: Mathematics

Page: 416

View: 7554

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.