Logičeskije uravnenija - Zakrevskij, A. D. (Nauka i technika, 1975)