Skip to content
Vinony

Subsystems of Second Order Arithmetic

by Stephen G. Simpson

Cover of Subsystems of Second Order Arithmetic

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

Predicate calculus