Stephen G. Simpson
2 published titles
Subsystems of second order arithmetic
1 edition
- ISBN: 9780521884396
- Cambridge University Press
- 2009
- Details
Kurt Gödel : essays for his centennial
(Contributor)
1 edition
- ISBN: 9780521115148
- Cambridge University Press
- 2010
- Details
