[ Первая страница]		© ВИНИТИ, 1999
Основания математики		510.2 (УДК)
•	Общие философские проблемы	510.21
•	Теория множеств	510.22
•	Теория доказательств	510.23
•	Математический интуиционизм	510.24
•	Конструктивная математика	510.25
•	Логические и семантические антиномии	510.27