Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books

Introduction to Higher Order Categorical Logic

Joachim Lambek - Categories (Mathematics) - 1988 - 293 pages
No preview available - About this book

Introduction to Higher Order Categorical Logic

Joachim Lambek, P. J. Scott - Mathematics - 1986 - 293 pages
No preview available - About this book




  1. My library
  2. Help
  3. Advanced Book Search