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

Documents (Auteurs)

• [MathOuvrage] Collected works. Vol. v / Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Dawson, John W. Jr. ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Sieg, Wilfried. -Oxford : Clarendon Press, 2003. - xxiii, 690 p. ; 24 cm
  
• [MathOuvrage] Collected works. Vol. iv / Gödel, Kurt ; Ed. Feferman, Solomon ; Ed. Dawson, John W. Jr. ; Ed. Goldfarb, Warren D. ; Ed. Parsons, Charles ; Ed. Sieg, Wilfried. -Oxford : Clarendon Press, 2003. - xix, 662 p. ; 24 cm
  
• [MathOuvrage] Iterated inductive definitions and subsystems of analysis / Buchholz, Wilfried ; Feferman, Solomon ; Pohlers, Wolfram ; Sieg, Wilfried. -Berlin : Springer, 1981. - 383
  https://doi.org/10.1007/BFb0091894
  
• [MathCongrès] Logic and computation / Ed. Sieg, Wilfried. -Providence RI : American mathematical Society, 1990. - xiv, 297 p. ; 26 cm