[ Первая страница]		© ВИНИТИ, 1999
Основания математики и математическая логика		510 (УДК)
•	Основания математики	510.2
•	Алгоритмы и вычислимые функции	510.5
•	Математическая логика	510.6