Related Books
Language: en
Pages: 322
Pages: 322
Type: BOOK - Published: 2012-09-26 - Publisher: Courier Corporation
This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Ba
Language: en
Pages: 514
Pages: 514
Type: BOOK - Published: 2013-01-01 - Publisher: Courier Corporation
This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains
Language: en
Pages: 336
Pages: 336
Type: BOOK - Published: 2012-07-12 - Publisher: Courier Corporation
Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with se
Language: en
Pages: 351
Pages: 351
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
This is a compact mtroduction to some of the pnncipal tOpICS of mathematical logic . In the belief that beginners should be exposed to the most natural and easi
Language: en
Pages: 416
Pages: 416
Type: BOOK - Published: 2013-04-22 - Publisher: Courier Corporation
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