Introduction to higher order categorical logic

Bibliografiske detaljer
Hovedforfatter: Lambek, J
Andre forfattere: Scott, P J
Format: Printed Book
Udgivet: Cambridge University Press, Cambridge 1986
Fag:
Topological and related algebra and groups

Lignende værker