в широком смысле - теория (возможно,аксиоматическая), рассматривающая основные принципы построениялогарифмических исчислений и их формальную структуру (теоретическийлогический синтаксис); в узком смысле - запас выразительных средств дляформулирования утверждений о формальных выражениях (языке) логическогоисчисления (элементарный логический синтаксис).






Ссылка на выделенный текст