On the Interpretation of Intuitionistic Number Theory

GPTKB entity