Introduction to higher order categorical logic

Xehetasun bibliografikoak
Egile nagusia: Lambek, J
Beste egile batzuk: Scott, P J
Formatua: Printed Book
Argitaratua: Cambridge University Press, Cambridge 1986
Gaiak:
Topological and related algebra and groups

Antzeko izenburuak