Title: Konstruktivnai︠a︡ matematicheskai︠a︡ logika s tochki zrenii︠a︡ klassicheskoĭ
Subjects: Symbolic and mathematical Logic