Subsystems of Second Order Arithmetic

GPTKB entity