skip to main content

Subsystems of Second Order Arithmetic

Stephen George Simpson Association for Symbolic Logic.

Cambridge University Press 2009

Acesso online. A biblioteca também possui exemplares impressos.

Buscando em bases de dados remotas. Favor aguardar.