Introduction to higher order categorical logic /
Lambek, Joachim.
Introduction to higher order categorical logic / J. Lambek, P.J. Scott. - New York Cambridge University Press 1994 - x, 293 p. ; 23 cm. - Cambridge studies in advanced mathematics ; 7 .
GBP 50.99/-
Shanti Books
9459/02
9780521356534 (pbk.)
Categories (Mathematics)
512.55 LAM
Introduction to higher order categorical logic / J. Lambek, P.J. Scott. - New York Cambridge University Press 1994 - x, 293 p. ; 23 cm. - Cambridge studies in advanced mathematics ; 7 .
GBP 50.99/-
Shanti Books
9459/02
9780521356534 (pbk.)
Categories (Mathematics)
512.55 LAM