| The Foundations of Mathematics in the Theory of Sets Contributor(s): Mayberry, John P. (Author) |
|
 |
ISBN: 0521172713 ISBN-13: 9780521172714 Publisher: Cambridge University Press OUR PRICE: $77.89 Product Type: Paperback - Other Formats Published: October 2011 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic |
| Dewey: 511.322 |
| Series: Encyclopedia of Mathematics and Its Applications |
| Physical Information: 0.9" H x 6.14" W x 9.21" (1.37 lbs) 446 pages |
| 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. |