Menu
Home
Help and information
About this website
Privacy Policy
J. Lambek
1 published title
Introduction to higher order categorical logic
1 edition
ISBN: 0521246652
Cambridge University Press
1986
Details