Учебное пособие по философии математики рассматривает четыре ведущие программы обоснования философии ХХ столетия – логицизм, интуиционизм, конструктивизм и формализм. Доступно излагаются тезисы и основные результаты каждой из них. Автор использует большое количество первоисточников и критической литературы. Учебное пособие соответствует требованиям новой программы подготовки аспирантов по теме «философия математики», а также подходит широкому кругу лиц, интересующихся математикой, логикой и методологией современной науки.