Introduction to Higher-Order Categorical Logic
by J. LambekP. J. ScottB. Bollobas (Contribution by)W. Fulton (Contribution by)A. Katok (Contribution by)F. Kirwan (Contribution by)P. Sarnak (Contribution by)B. Simon (Contribution by)
Format: Paperback
ISBN13: 9780521356534
Paperback|9780521356534
✨ Featured Offer
Brand New
$83.26
List Price: $76.99
🚚
See all 5 offers from $47.95 FREE standard delivery by: 02 Apr 2026
Overview
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher order logic, and cartesian closed categories are essentially the same. In Part II, it is demonstrated that another formulation of higher order logic (intuitionistic type theories) is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given. The authors have included an introduction to category theory and develop the necessary logic as required, making the book essentially self-contained. Detailed historical references are provided throughout, and each section concludes with a set of exercises. Thus it is well-suited for graduate courses and research in mathematics and logic. Researchers in theoretical computer science, artificial intelligence and mathematical linguistics will also find this an accessible introduction to a subject of increasing application to these disciplines.
| ISBN-13 | 9780521356534 |
|---|---|
| ISBN-10 | 0521356539 |
| Weight | 1.10 Pounds |
| Dimensions | 6.25 x 0.75 x 9.00 In |
| List Price | $76.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | 304 pages |
| Publisher | Cambridge University Press |
| Published On | 1988-03-25 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
HPB-Red
Dallas, TX, USA
Connecting readers with great books since 1972! Used textbooks may not include companion materials s...
Free delivery by: 02 Apr 2026
Used, Good
Seller details
Books From California
Simi Valley, CA, USA
Ex-library copy with stamps and stickers. The copy shows minor external wear, but is in otherwise cl...
Free delivery by: 02 Apr 2026
Used, Very Good
Seller details
Wonder Book - Member ABAA/ILAB
Frederick, MD, USA
Very Good condition. A copy that may have a few cosmetic defects. May also contain light spine cre...
Free delivery by: 02 Apr 2026
Used, Very Good
Seller details
Lavendier Books
Foster, RI, USA
Size: 6x0x9; Cambridge University Press; Cambridge, 1988. Trade paperback. A Very Good, binding st...
Free delivery by: 02 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Contains: Unspecified. Cambridge Studies in Advanced Mathemat...
Free delivery by: 02 Apr 2026