EN formal logic
LV formālā loģika
RU формальная логика
Definīcija: Matemātiskās loģikas nozare, kas operē ar abstraktiem simboliem un no tiem veidotām izteiksmēm, nepiešķirot nekādu nozīmi šo abstrakciju semantikai.
Datu pārraides un apstrādes sistēmas. Angļu-krievu-latviešu skaidrojošā vārdnīca — R., SWH, 1995