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