Introduction to higher order categorical logic

Manylion Llyfryddiaeth
Prif Awdur: Lambek, J
Awduron Eraill: Scott, P J
Fformat: Printed Book
Cyhoeddwyd: Cambridge University Press, Cambridge 1986
Pynciau:
Topological and related algebra and groups

Eitemau Tebyg