Logičeskij vyvod (Nauka, 1979)