"Logic Year 1979-80" - читать интересную книгу автора (Lerman)