In Logic, Philosophy of Mathematics, and their History: Essays in Honor W.W. Tait. London, UK: College Publications. pp. 113-138. 2018