Stephen G. Simpson

2 books

Subsystems of Second Order Arithmetic by Stephen G. Simpson

Subsystems of Second Order Arithmetic

Perspectives in Logic

Stephen G. Simpson

464 pages • missing pub info (editions)

nonfiction mathematics informative medium-paced
Kurt Godel: Essays for His Centennial by Charles Parsons, Solomon Feferman, Stephen G. Simpson

Kurt Godel: Essays for His Centennial

Lecture Notes in Logic

Charles Parsons, Solomon Feferman, Stephen G. Simpson

373 pages • first pub 2010 (editions)

challenging informative slow-paced
More...