Introduction to Higher Order Categorical Logic

Front Cover
Cambridge University Press, 1988 - Categories (Mathematics) - 293 pages

Other editions - View all

Introduction to Higher-Order Categorical Logic
J. Lambek,P. J. Scott
Limited preview - 1988
Introduction to Higher Order Categorical Logic
Joachim Lambek,P. J. Scott
No preview available - 1986

Bibliographic information

TitleIntroduction to Higher Order Categorical Logic
Volume 7 of Cambridge studies in advanced mathematics
AuthorJoachim Lambek
PublisherCambridge University Press, 1988
Length293 pages
  
Export CitationBiBTeX EndNote RefMan