ББК 510.37 Точки доступа: АЛГОРИТМЫ (ТЕОРИЯ) 510.37 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.3 Точки доступа: ВЕННА ДИАГРАММЫ 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.3 Точки доступа: ДИСКРЕТНАЯ МАТЕМАТИКА 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.3 Точки доступа: ДЕДУКТИВНЫЕ СИСТЕМЫ 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.37 Точки доступа: КВАНТОВЫЕ ВЫЧИСЛЕНИЯ МАТЕМАТИЧЕСКИЕ 510.37 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.371 Точки доступа: КОНСТРУКТИВНЫЙ АНАЛИЗ 510.371 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.3 Точки доступа: ЛАМБДА (ИСЧИСЛЕНИЕ) 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.33 Точки доступа: ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ 510.33 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.3 Точки доступа: МАТЕМАТИЧЕСКАЯ ЛОГИКА 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.32 Точки доступа: МОДЕЛИ В МАТЕМАТИЧЕСКОЙ ЛОГИКЕ 510.32 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.3 Точки доступа: ОСНОВАНИЯ АРИФМЕТИКИ 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.37 Точки доступа: РЕКУРСИВНЫЕ ФУНКЦИИ 510.37 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ

ББК 510.3 Точки доступа: СТЕПЕНИ НЕРАЗРЕШИМОСТИ 510.3 Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА--ОСНОВАНИЯ МАТЕМАТИКИ