Subsystems of second-order arithmetic
de Stephen G. Simpson · Publicada por primera vez en 1999
Materias
Ediciones (3)
- Subsystems of second-order arithmetic (2009)
Cambridge University Press · inglés · ISBN 9780521884396
- Subsystems of second-order arithmetic (2009)
Cambridge University Press · inglés · ISBN 9780521884396
- Subsystems of second order arithmetic (1999)
Springer · inglés
