"Logic. Year 1979-80" - читать интересную книгу автора (M. Lerman, J.H. Schmerl, R.I. Soare)