• Libros
  • Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Feferman, S.
Inglês
EAN
9783540111702
Editorial
Ano de edição
1981
Idioma
Inglês
Coleção
Lecture Notes in Mathematics
Alto
235
Largura
155
Otros lectores lo han calificado con
Deixa-nos a tua opinião
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres