Front cover image for Subsystems of second order arithmetic

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