語系:
繁體中文
English
說明(常見問題)
回圖書館
登入
語系
English
(1)
Jump To :
Overview
|
Titles
|
Subjects
Jacobs, Bart.
Overview
Works:
2 works in 1 publications in 1 languages
Titles
Categorical logic and type theory
by: Jacobs, Bart.
(書目-電子資源)
主題
Typentheorie.
Type theory.
Wiskundige logica.
Categories (Mathematics)
Types, Th�eorie des.
Cat�egories (Math�ematiques)
處理中
...
變更密碼
登入
