"Lawvere F.W. Functorial semantics of algebraic theories (PhD thesis, 1963)(free web version)(122s)_MAct_.pdf" - читать интересную книгу автора