Большой энциклопедический словарь
СИМВОЛИЧЕСКАЯ ЛОГИКА — то же, что математическая логика.
Символическая логика
символическая логика