"Logic at Botik '89" - читать интересную книгу автора (Albert R. Meyer, Michael A. Taitslin)