After Gödel: Platonism and Rationalism in Mathematics and Logic

GPTKB entity