Vista normal Vista MARC Vista ISBD

Simpson, Stephen George, 1945-,

Subsystems of second order arithmetic / Stephen G. Simpson - xiv, 444 páginas ; - Perspectives in mathematical logic, 0172-6641 .

Incluye referencias bibliograficas (p. [413]-424) e indice

ISBN: 3540648828 (encuadernado en tela : papel alcalino)

Subjects--Topical Terms:
Cálculo de predicados

LC Class. No.: QA9.7 / S55

Dewey Class. No.: 511.3