Stephen G. Simpson1945BooksKurt GödelSubsystems of second-order arithmeticReverse mathematics 2001Reverse Mathematics 2001 (Lecture Notes in Logic) (Lecture Notes in Logic)Author data: Open Library