Metody logičeskogo analiza (Nauka, 1977)