УДК 510.2

Основания математики

вверх  домой
код УДК описание примечания
510.21 Общие философские проблемы. Критические аспекты логических антиномий
510.22 Теория множеств. Теоретико-множественный подход
510.23 Формализм (математические аспекты)
510.24 Интуиционизм (математические аспекты)
510.25 Конструктивный подход. Конструктивная математика
510.26 Логический позитивизм
510.27 Логическая семантика и семантические антиномии

см. 519.767 Семантика языка (математические вопросы)

 
Сгенерировано Флэнг-системой из метаописания УДК в формате Dublin Core
© 2004 TeaCode.com