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

Documents (Mots clés)

• [IremOuvrage] Logique / Fuchs, Aimé ; Reeb, Georges. -Strasbourg : Institut de recherche mathématique avancée, 1986. - 317 p. ; 29 cm
  
• [MathOuvrage] Subsystems of second order arithmetic / Simpson, Stephen G.. -Berlin, Heidelberg, New York NY : Springer, 1999. - xiv, 444 p. ; 25 cm
  ISBN 9783540648826
  
• [MathOuvrage] Theory of formal systems / Smullyan, Raymond M.. -Princeton NJ : Princeton university Press, 1961. - viii, 142 p. ; 23 cm