You are here

Home » MAA Publications » MAA Reviews » Introduction to Higher Order Categorical Logic

Introduction to Higher Order Categorical Logic

J. Lambek and P. J. Scott
Publisher: 
Cambridge University Press
Publication Date: 
1998
Number of Pages: 
304
Format: 
Paperback
Series: 
Cambridge Studies in Advanced Mathematics 7
Price: 
50.00
ISBN: 
978-0521356534
Category: 
General
BLL Rating: 
BLL

The Basic Library List Committee suggests that undergraduate mathematics libraries consider this book for acquisition.

There is no review yet. Please check back later.

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.

Tags: 
Logic