Filosofskije voprosy sovremennoj formal'noj logiki - Tavanec, Petr Vasil‘jevič, 1911-1991 (Izdatel'stvo Akademii nauk SSSR, 1962)