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