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