New Directions in the Philosophy of Mathematics

GPTKB entity