Большой энциклопедический словарь /

ФОРМАЛЬНАЯ ЛОГИКА

см. Логика.