Title: Matematicheskai︠a︡ logika, diskretnai︠a︡ matematika i ikh primenenii︠a︡
Subjects: Mathematics, Symbolic and mathematical Logic, Computer science