Subsystems of Second Order Arithmetic |
|
| Author:
| Simpson, Stephen G. |
| Series title: | Perspectives in Logic Ser. |
| ISBN: | 978-0-511-57727-7 |
| Publication Date: | Sep 2009 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.