Subsystems of second order arithmetic /

Bibliographic Details

Main Author:	Simpson, Stephen G. (Stephen George), 1945-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, [1999]
Series:	Perspectives in mathematical logic.
Subjects:	Predicate calculus.