Teorija logičeskogo vyvoda (Nauka, 1973)