Stephen G. Simpson
Stephen G. Simpson
1945
2 books in the database
Books
Reverse Mathematics 2001 (Lecture Notes in Logic) (Lecture Notes in Logic)Stephen G. Simpson

Reverse Mathematics 2001 (Lecture Notes in Logic) (Lecture Notes in Logic)
Stephen G. Simpson · 2005
Subsystems of second-order arithmeticStephen G. Simpson

Subsystems of second-order arithmetic
Stephen G. Simpson · 1999
Co-authored books and collections
Books that list Stephen G. Simpson among their authors but not as the lead author: co-written works, collections and compilations.
