Subsystems of second order arithmetic /
Saved in:
| Author / Creator: | Simpson, Stephen G. (Stephen George), 1945- |
|---|---|
| Edition: | 2nd ed. |
| Imprint: | Cambridge ; New York : Cambridge University Press, 2009. |
| Description: | xvi, 444 p. : ill. ; 25 cm. |
| Language: | English |
| Series: | Perspectives in logic |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8209005 |