yr 〜
yr

Search results 7

Kurt Gödel : essays for his centennial : pbk

Kurt Gödel : essays for his centennial : pbk
Paper図書
edited by Solomon Feferman, Charles Parsons, Stephen G. SimpsonAssociation for Symbolic Logic2013
Other Libraries in Japan
  • Author HeadingFeferman, Solomon Parsons, Charles Simpson, Stephen G. (Stephen George)

Subsystems of second order arithmetic : pbk 2nd ed

Subsystems of second order arithmetic : pbk 2nd ed
Paper図書
Stephen G. SimpsonCambridge University Press2010
Other Libraries in Japan
  • Author HeadingSimpson, Stephen G. (Stephen George)

Subsystems of second order arithmetic 2nd ed

Subsystems of second order arithmetic 2nd ed
Paper図書
Stephen G. SimpsonAssociation for Symbolic Logic : Cambridge University Press2009
Other Libraries in Japan
  • Author HeadingSimpson, Stephen G. (Stephen George)

Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)

Subsystems of second order arithmetic / Stephen G. Simpson. 2nd ed. (Perspectives in logic)
Paper図書
Cambridge University Press2009.<MA41-B25>
National Diet Library
  • Author HeadingSimpson, Stephen G. (Stephen George) , 1945- Association for Symbo...

Reverse mathematics 2001 : hard : paperback

Reverse mathematics 2001 : hard : paperback
Paper図書
edited by Stephen G. SimpsonA K Petersc2005
Other Libraries in Japan
  • Author HeadingSimpson, Stephen G. (Stephen George)

Subsystems of second order arithmetic : hard

Subsystems of second order arithmetic : hard
Paper図書
Stephen G. SimpsonSpringer-Verlagc1999
Other Libraries in Japan
  • Author HeadingSimpson, Stephen G. (Stephen George)

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science Foundation

Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science Foundation
Paper図書
Stephen G. Simpson, editorAmerican Mathematical Societyc1987
Other Libraries in Japan
  • Author Heading... Combinatorics Simpson, Stephen G. (Stephen George) American Mathematical Society...

Reached to the end of result.