Lambek J., Scott P.J. — Introduction to Higher-Order Categorical Logic
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Introduction to Higher-Order Categorical Logic
Авторы: Lambek J., Scott P.J.
Аннотация:
Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.
|
|
О проекте