reverse mathematics program

GPTKB entity