Introduction to higher order categorical logic

Bibliografski detalji
Glavni autor: Lambek, J
Daljnji autori: Scott, P J
Format: Printed Book
Izdano: Cambridge University Press, Cambridge 1986
Teme:
Topological and related algebra and groups

Similar Items