Normal view
MARC view
Categories (Mathematics) (Topical Term)
Machine generated authority record
Work cat.: (BD-SaJUCL)73475: Lambek, J. 29711, Introduction to higher order categorical logic, 1994