Subsystems of Second Order Arithmetic (book by Stephen Simpson)

GPTKB entity