by David S . Gunderson (Author)
Enables readers to prove hundreds of mathematical results. This title presents the formal development of natural numbers from axioms, which leads into set theory and transfinite induction. It covers Peano's axioms, weak and strong induction, double induction, infinite descent downward induction, and variants of these inductions.
Format: Hardcover
Pages: 921
Edition: 1
Publisher: Chapman and Hall/CRC
Published: 28 Sep 2010
ISBN 10: 1420093649
ISBN 13: 9781420093643