Logičeskij vyvod. - Smirnov, V. A. (Moskva : Nauka, 1979)
Záznam revízie