The Logical Foundations of Mathematics
Language: en
Pages: 331
Authors: William S. Hatcher
Categories: Mathematics
Type: BOOK - Published: 2014-05-09 - Publisher: Elsevier

GET EBOOK

The Logical Foundations of Mathematics offers a study of the foundations of mathematics, stressing comparisons between and critical analyses of the major non-co
The Logical Foundations of Mathematics
Language: en
Pages: 340
Authors: William S. Hatcher
Categories: Mathematics
Type: BOOK - Published: 1982 - Publisher: Pergamon

GET EBOOK

First-order logic. The origin of modern foundational studies. Frege's system and the paradoxes. The teory of types. Zermelo-Fraenkel set theory. Hilbert's progr
Logical Foundations of Mathematics and Computational Complexity
Language: en
Pages: 699
Authors: Pavel Pudlák
Categories: Mathematics
Type: BOOK - Published: 2013-04-22 - Publisher: Springer Science & Business Media

GET EBOOK

The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Fou
Mathematical Logic and the Foundations of Mathematics
Language: en
Pages: 0
Authors: G. T. Kneebone
Categories: Logic, Symbolic and mathematical
Type: BOOK - Published: 2001 - Publisher: Dover Publications

GET EBOOK

Ideal for students intending to specialize in the topic. Part I discusses traditional and symbolic logic. Part II explores the foundations of mathematics. Part
Foundations of Logic and Mathematics
Language: en
Pages: 425
Authors: Yves Nievergelt
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

This modern introduction to the foundations of logic and mathematics not only takes theory into account, but also treats in some detail applications that have a