Normal view
MARC view
Lambek, J (Personal Name)
Machine generated authority record
Work cat.: (BD-SaJUCL)73475: Lambek, J., Introduction to higher order categorical logic, 1994