Introduction to higher order categorical logic

Bibliografische gegevens
Hoofdauteur: Lambek, J
Andere auteurs: Scott, P J
Formaat: Printed Book
Gepubliceerd in: Cambridge University Press, Cambridge 1986
Onderwerpen:
Topological and related algebra and groups

Gelijkaardige items