Introduction to higher order categorical logic
Lambek, J
Introduction to higher order categorical logic J Lambek and P J Scott - - Cambridge University Press, Cambridge 1986 - 293 p - .
Topological and related algebra and groups
512.55 LAM-I
Introduction to higher order categorical logic J Lambek and P J Scott - - Cambridge University Press, Cambridge 1986 - 293 p - .
Topological and related algebra and groups
512.55 LAM-I