Logičeskij vyvod. (Nauka, 1979)