Subsystems of second order arithmetic
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas
Print Book, English, 2009
2nd ed
Cambridge University Press, Cambridge, 2009