Subsystems of second order arithmetic / Stephen G. Simpson.
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; New York :
Cambridge University Press,
2009.
|
| Edition: | 2nd ed. |
| Series: | Perspectives in logic.
|
| Subjects: |
En Route to PASCAL
| Call Number: |
QA9.7 .S537 2009
|
|---|---|
| QA9.7 .S537 2009 | Checked out – Due: 04-12-2027 |