"Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) " - читать интересную книгу автора (J. Lambek, P.J. Scott)