紀錄類型: |
書目-電子資源
: 單行本
|
正題名/作者: |
Categorical logic and type theory/ Bart Jacobs. |
作者: |
Jacobs, Bart. |
出版者: |
Amsterdam ;Elsevier Science, : c1999., |
面頁冊數: |
1 online resource (xviii, 760 p.) :ill. : |
標題: |
Type theory. - |
電子資源: |
http://www.sciencedirect.com/science/book/9780444501707 |
ISBN: |
9780444501707 |