:quality(100))
imagem ilustrativa
Subsystems of second order arithmetic
Stephen G. Simpson
Salvar edição
Compartilhar
- Editora: Cambridge University Press
- Ano: 2010
- ISBN: 9780521150149
- Subsystems of second order arithmetic
Descrição: Subsystems of Second Order Arithmetic