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