ENGLISH

Introduction to Higher-Order Categorical Logic

By J. Lambek , P. J. Scott

Book information

Publisher
Cambridge University Press
Year
1988
ISBN
9780521356534, 0521356539
Open Library ID
OL21500889M
Language
english
Format
PDF
Filesize
33 MB (34251528 bytes)
Series
Cambridge Studies in Advanced Mathematics 7
Pages
301\301
Topic
Mathematics Logic
Library
mexmat
Time added
2009-07-20 03:45:11

Description

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.

Similar books