TY  - BOOK
AU  - Simpson,Stephen George
TI  - Subsystems of second order arithmetic
T2  - Perspectives in mathematical logic,
SN  - 3540648828 (encuadernado en tela : papel alcalino)
AV  - QA9.7 S55
U1  - 511.3 21
PY  - 1999///
CY  - Berlin, New York
PB  - Springer Verlag
KW  - Cálculo de predicados
N1  - Incluye referencias bibliograficas (p. [413]-424) e indice
ER  -