Introduction to higher order categorical logic

Bibliografiska uppgifter
Huvudupphovsman: Lambek, J
Övriga upphovsmän: Scott, P J
Materialtyp: Printed Book
Publicerad: Cambridge University Press, Cambridge 1986
Ämnen:
Topological and related algebra and groups

Liknande verk