Парадоксы теории множеств и диалектика
Философские и методологические проблемы математики
Очерки по философским вопросам математики
Метафизическая математика XVII века
Сочинения. Книга 6. Хаос и структура
О математической логике и философии математики (Начальные сведения об основаниях математики)
Математический интуиционизм. Введение в теорию доказательств
Сборник статей по философии математики
Логика и философия математики. Избранное