512.55 / L171I
Lambek,J.
Introduction to higher order categorical logic
/ J. Lambek and P.J. Scott.
.- Cambridge: Cambridge University Press, 1986
.- 293p.
ISBN: 0521246652
Subject Headings:
Categories (Mathematics);
Author Added Entry:
Scott, P.J.;
Copy Details:
Acc. No.: A95226, Full Call No.: 512.55 L171I, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------