"Logic Language and Reasoning" - читать интересную книгу автора (Hans Jürgen Ohlbach, U. Reyle)