3 works on record
Quarks '94
Teoreticheskie primenenii︠a︡ metodov matematicheskoĭ logiki
Teorii︠a︡ slozhnosti vychisleniĭ