Logičeskij vyvod - Kuznecov, A. V. (rz1, 1979)