Saturday, November 10, 2007

P. Smith : On Subsystems of PA2

An user-friendly introduction to subsystems of PA2. Peter Smith : On Some Subsystems of Second-Order Arithmetic