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