Большой энциклопедический словарь
ФОРМАЛЬНАЯ ЛОГИКА — см. Логика.
Формальная логика
формальная логика