Iterated inductive definitions and subsystems of analysis recent proof-theoretical studies

Detalles Bibliográficos
Autores principales: Buchholz, Wilfried, Feferman, Solomon, Pohlers, Wolfram, Sieg, Wilfried
Lenguaje:eng
Publicado: Springer 1981
Materias:
Mathematical Physics and Mathematics
Acceso en línea:https://dx.doi.org/10.1007/BFb0091894
http://cds.cern.ch/record/1691054

Internet

https://dx.doi.org/10.1007/BFb0091894
http://cds.cern.ch/record/1691054

Ejemplares similares