"Logic in algebraic form: Three languages and theories (no TOC)" - читать интересную книгу автора (William Craig)