(0)
 
Introduction to Higher Order Categorical Logic
by J. Lambek and P. J. Scott

Overview - In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part 1 they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories are essentially the same.  Read more...

 
Paperback
  • $65.00

Add to Cart + Add to Wishlist

In Stock. Usually ships within 24 hours.

This item is Non-Returnable.
Free Shipping is not available for this item.

Not a member? Join Today!
 
 
New & Used Marketplace 17 copies from $46.97
 
 
 

More About Introduction to Higher Order Categorical Logic by J. Lambek; P. J. Scott
 
 
 
Overview
In this book the authors reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part 1 they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories are essentially the same. In Part 2 it is demonstrated that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part 3 is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are given.


This item is Non-Returnable.

 
Details
  • ISBN-13: 9780521356534
  • ISBN-10: 0521356539
  • Publisher: Cambridge University Press
  • Publish Date: May 1988
  • Page Count: 304


Related Categories

Books > Mathematics > Logic

 
BAM Customer Reviews

DISCUSSION