Proceedings of the XIth International Congress of Philosophy

Volume 5, 1953

Logic, Philosophical Analysis, Philosophy of Mathematics

A. Heyting
Pages 193-198

Sur la tâche de la philosophie des mathématiques