Cargando…

Subsystems of second order arithmetic

Detalles Bibliográficos
Autor principal: Simpson, Stephen G
Lenguaje:eng
Publicado: Cambridge Univ. Press 2009
Materias:
Acceso en línea:http://cds.cern.ch/record/1253754