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