| The Foundations of Mathematics in the Theory of Sets Contributor(s): Mayberry, John P. (Author) |
|
 |
ISBN: 1139087126 ISBN-13: 9781139087124 Publisher: Cambridge University Press OUR PRICE: $140.25 Product Type: Open Ebook - Other Formats Published: March 2012 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic |
| Dewey: 511.32 |
| Series: Encyclopedia of Mathematics and Its Applications |
| Descriptions, Reviews, Etc. |
| Publisher Description: This unified approach to the foundations of mathematics in the theory of sets covers both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of natural number and set. The book contains an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, and the analysis of proof by induction and definition by recursion. The book should appeal to both philosophers and mathematicians with an interest in the foundations of mathematics. |