Subsystems of Second Order Arithmetic
Author | : Stephen George Simpson |
Publisher | : Cambridge University Press |
Total Pages | : 461 |
Release | : 2009-05-29 |
ISBN-10 | : 9780521884396 |
ISBN-13 | : 052188439X |
Rating | : 4/5 (39X Downloads) |
Download or read book Subsystems of Second Order Arithmetic 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. Book excerpt: This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.