Introduction to higher order categorical logic

Dades bibliogràfiques
Autor principal: Lambek, J
Altres autors: Scott, P J
Format: Printed Book
Publicat: Cambridge University Press, Cambridge 1986
Matèries:
Topological and related algebra and groups

Ítems similars