Skip to content
Vinony

Subsystems of second-order arithmetic

by Stephen G. Simpson · 1999

Cover of Subsystems of second-order arithmetic

No description available.

Predicate calculusCalculus
Subsystems of second-order arithmetic by Stephen G. Simpson — book · Vinony