Mathematical Logic
Language: en
Pages: 290
Authors: H.-D. Ebbinghaus
Categories: Mathematics
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

GET EBOOK

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions o
Introduction to Mathematical Logic
Language: en
Pages: 351
Authors: Elliot Mendelsohn
Categories: Science
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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
Mathematical Logic
Language: en
Pages: 436
Authors: Stephen Cole Kleene
Categories: Mathematics
Type: BOOK - Published: 2013-04-22 - Publisher: Courier Corporation

GET EBOOK

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
Mathematical Logic
Language: en
Pages: 258
Authors: Ian Chiswell
Categories: Mathematics
Type: BOOK - Published: 2007-05-18 - Publisher: OUP Oxford

GET EBOOK

Assuming no previous study in logic, this informal yet rigorous text covers the material of a standard undergraduate first course in mathematical logic, using n
A Profile of Mathematical Logic
Language: en
Pages: 322
Authors: Howard DeLong
Categories: Mathematics
Type: BOOK - Published: 2012-09-26 - Publisher: Courier Corporation

GET EBOOK

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