Intuitionism and Formalism

GPTKB entity