You are here

Introduction to Higher Order Categorical Logic

Publisher: 
Cambridge University Press
Number of Pages: 
304
Price: 
50.00
ISBN: 
978-0521356534
Date Received: 
Tuesday, February 1, 2005
Reviewable: 
Yes
Include In BLL Rating: 
Yes
J. Lambek and P. J. Scott
Series: 
Cambridge Studies in Advanced Mathematics 7
Publication Date: 
1998
Format: 
Paperback
Category: 
General
Tags: 
BLL Committee
08/26/2010
BLL Rating: 

Preface; Part I. Introduction to Category Theory: Part II. Cartesian Closed Categories and Calculus: Part III. Type Theory and Toposes: Part IV. Representing Numerical Functions in Various Categories; Bibliography; Author index; Subject index.

Publish Book: 
Modify Date: 
Thursday, August 26, 2010

Dummy View - NOT TO BE DELETED