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

Documents (Auteurs)

• [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