Foundations of Arithmetic

GPTKB entity