Subsystems of second order arithmetic
By: Stephen G. Simpson.
Series: Perspectives in mathematical logic,
Publisher: Springer
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 444
Subjects: Predicate calculus.
Notes: Includes bibliographical references (p. [413]-424) and index.