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