iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
buchholz,feferman,pohlers,sieg
iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
Buchholz,Feferman,Pohlers,Sieg (Autor) · springer publishing map · Libro Físico
Sin Stockiterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
buchholz,feferman,pohlers,sieg
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
