Filosofskie voprosy sovremennoj formalʹnoj logiki - Tavanec, Petr V. 1911- (Izdat. Akad. Nauk SSSR, 1962)