Introduction to higher order categorical logic

Dettagli Bibliografici
Autore principale: Lambek, J
Altri autori: Scott, P J
Natura: Printed Book
Pubblicazione: Cambridge University Press, Cambridge 1986
Soggetti:
Topological and related algebra and groups

Documenti analoghi