Introduction to higher order categorical logic

書目詳細資料
主要作者: Lambek, J
其他作者: Scott, P J
格式: Printed Book
出版: Cambridge University Press, Cambridge 1986
主題:
Topological and related algebra and groups

相似書籍