Documents liés : [3 document(s)]

Documents (Auteurs)

• [MathCongrès] Kurt Gödel. Essays for his centennial / Ed. Feferman, Solomon ; Ed. Parsons, Charles ; Ed. Simpson, Stephen G.. -Cambridge : Cambridge university Press;Association for Symbolic Logic, 2010. - x, 373 p. ; 24 cm
  ISBN 9780521115148
  
• [MathOuvrage] Subsystems of second order arithmetic / Simpson, Stephen G.. -Berlin, Heidelberg, New York NY : Springer, 1999. - xiv, 444 p. ; 25 cm
  ISBN 9783540648826
  
• [MathCongrès] Logic and combinatorics / Ed. Simpson, Stephen G.. -Providence RI : American mathematical Society, 1987. - xi, 394