область логики, в которой выводы исследуются посредством логических исчислений на основе строгого символического языка.
Символическая, или математическая логика
Символическая, или математическая логика
Источник: Философия науки. Эпистемология. Методология. Культура