語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Categorical logic and type theory
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
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
Categorical logic and type theory
Jacobs, Bart.
Categorical logic and type theory
[electronic resource] /Bart Jacobs. - 1st ed. - Amsterdam ;Elsevier Science,c1999. - 1 online resource (xviii, 760 p.) :ill. - Studies in logic and the foundations of mathematics ;v. 141. - Studies in logic and the foundations of mathematics ;v. 64, 115..
Includes bibliographical references (p. 717-733) and indexes.
ISBN: 9780444501707Subjects--Topical Terms:
672287
Type theory.
LC Class. No.: QA9 / .J27 1999eb
Dewey Class. No.: 511.3
Categorical logic and type theory
LDR
:00999cam a2200289Ia 4500
001
727868
005
20120813081226.0
006
m d
007
cr cn|||||||||
008
130128s1999 ne a ob 001 0 eng d
020
$a
9780444501707
020
$a
0444501703
020
$a
9786611048266
020
$a
661104826X
020
$a
0080528708 (electronic bk.)
020
$a
9780080528700 (electronic bk.)
035
$a
ocn162130542
050
4
$a
QA9
$b
.J27 1999eb
082
0 4
$a
511.3
$2
22
084
$a
31.10
$2
bcl
100
1
$a
Jacobs, Bart.
$3
874186
245
1 0
$a
Categorical logic and type theory
$h
[electronic resource] /
$c
Bart Jacobs.
250
$a
1st ed.
260
$a
Amsterdam ;
$a
New York :
$b
Elsevier Science,
$c
c1999.
300
$a
1 online resource (xviii, 760 p.) :
$b
ill.
490
1
$a
Studies in logic and the foundations of mathematics ;
$v
v. 141
504
$a
Includes bibliographical references (p. 717-733) and indexes.
588
$a
Description based on print version record.
650
0
$a
Type theory.
$3
672287
650
0
$a
Categories (Mathematics)
$3
580337
830
0
$a
Studies in logic and the foundations of mathematics ;
$v
v. 64, 115.
$3
743064
856
4 0
$3
ScienceDirect
$u
http://www.sciencedirect.com/science/book/9780444501707
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入