After Godel Platonism and rationalism in mathematics and logic - Tieszen, Richard (Oxford Oxford University Press, 2011)
Keywords: Logic, symbolic and mathematical