Subsystems of Second Order Arithmetic |
|
| Author:
| Simpson, Stephen G. |
| Series title: | Perspectives in Mathematical Logic Ser. |
| ISBN: | 978-3-540-64882-6 |
| Publication Date: | Dec 1998 |
| Publisher: | Springer
|
| Book Format: | Hardback |
| List Price: | USD $59.95 |
Book Description:
|
An original contribution to the foundations of mathematics, with emphasis on the role of set existence axioms, this book gives particular attention to several well known foundational programs including those by Hilbert, Bishop, and Weyl.
An original contribution to the foundations of mathematics, with emphasis on the role of set existence axioms, this book gives particular attention to several well known foundational programs including those by Hilbert, Bishop, and Weyl.