Ebook: Introduction to Higher-Order Categorical Logic
Author: J. Lambek P. J. Scott
- Genre: Mathematics // Logic
- Series: Cambridge Studies in Advanced Mathematics 7
- Year: 1988
- Publisher: Cambridge University Press
- Language: English
- pdf
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.
Download the book Introduction to Higher-Order Categorical Logic for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)