EBOOK

Mathematical Logic

Stephen Cole KleeneSeries: Dover Books on Mathematics
(0)
sign up
Pages
416
Year
2013
Language
English
Publisher
Dover Publications

About

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.

Related Subjects

Extended Details

    Artists

    Stephen Cole Kleeneauthor