Title: Teorii͡a deduktivnykh sistem i ee primenenii͡a
Subjects: Algorithms, Artificial intelligence, Machine theory, Symbolic and mathematical Logic