Related Books
Language: en
Pages: 189
Pages: 189
Type: BOOK - Published: 1992-01-01 - Publisher: Courier Corporation
Fascinating study of the origin and nature of mathematical thought, including relation of mathematics and science, 20th-century developments, impact of computer
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: 290
Pages: 290
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media
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
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2001 - Publisher: Dover Publications
Ideal for students intending to specialize in the topic. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics. Part
Language: en
Pages: 436
Pages: 436
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