Title: Subsystems of second-order arithmetic
First published: 1999
Subjects: Predicate calculus, Calculus