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

ФОРМАЛЬНАЯ

ФОРМ́АЛЬНАЯ ЛОГИКА, см. Логика .