Title: Matematicheskoe obespechenie sistem logicheskogo vyvoda i deduktivnykh postroenii na ĖVM
Subjects: Automatic theorem proving