Introduction to higher order categorical logic

Bibliografske podrobnosti
Glavni avtor: Lambek, J
Drugi avtorji: Scott, P J
Format: Printed Book
Izdano: Cambridge University Press, Cambridge 1986
Teme:
Topological and related algebra and groups

Podobne knjige/članki