Introduction to higher order categorical logic

書誌詳細
第一著者: Lambek, J
その他の著者: Scott, P J
フォーマット: Printed Book
出版事項: Cambridge University Press, Cambridge 1986
主題:
Topological and related algebra and groups

類似資料