Cargando…
Subsystems of second order arithmetic
Autor principal: | Simpson, Stephen G |
---|---|
Lenguaje: | eng |
Publicado: |
Cambridge Univ. Press
2009
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1253754 |
Ejemplares similares
-
Metamathematics of first-order arithmetic
por: Hajek, Petr, et al.
Publicado: (2017) -
Incompleteness for higher-order arithmetic: an example based on Harrington’s principle
por: Cheng, Yong
Publicado: (2019) -
Arithmetic
por: Peirce, Charles S, et al.
Publicado: (1976) -
Arithmetics
por: Hindry, Marc
Publicado: (2011) -
Generalized fitting subsystem of a fusion system
por: Aschbacher, Michael
Publicado: (2011)