Отраслевые рубрики: математика, математическая логика, теория множеств

Ключевые слова: аксиома выбора, аксиомы, аксиомы бесконечности и ограничения, антиномии, гильбертовская программа, дискретность, закон исключенного третьего, интерпретации, интуиционистские концепции, категории, логистические системы, логицистический тезис, логические антиномии, логическое исчисление, мета, модели, непредикативное образование понятий, непрерывность, непротиворечивость, нестандартные логики, оперативная система Лоренцена, относительная непротиворечивость, разрешимость, рекурсивность, семантические антиномии, семантический подход, Сколема парадокс, теоретико-множественный релятивизм, теория классов, типы, формализованные теории, формальные системы

Сигла хранения	Всего экз.	В наличии	Заказано
абонемент	1	1	0