Subsystems of Second Order Arithmetic

Subsystems of Second Order Arithmetic PDF Author: Stephen George Simpson
Publisher: Cambridge University Press
ISBN: 052188439X
Category : Mathematics
Languages : en
Pages : 461

Get Book Here

Book Description
This volume examines appropriate axioms for mathematics to prove particular theorems in core areas.