Subsystems of Second Order Arithmetic
Download or Read eBook Subsystems of Second Order Arithmetic PDF written by Stephen George Simpson and published by Cambridge University Press. This book was released on 2009-05-29 with total page 461 pages. Available in PDF, EPUB and Kindle.
Author | : Stephen George Simpson |
Publisher | : Cambridge University Press |
Total Pages | : 461 |
Release | : 2009-05-29 |
ISBN-10 | : 9780521884396 |
ISBN-13 | : 052188439X |
Rating | : 4/5 (96 Downloads) |
Book Synopsis Subsystems of Second Order Arithmetic by : Stephen George Simpson
Book excerpt: This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.