大葉大學圖書館 |

登入

回首頁

Categorical logic and type theory[electronic resource] /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	511.3
書名/作者:	Categorical logic and type theory/ Bart Jacobs.
作者:	Jacobs, Bart.
出版者:	Amsterdam ; : Elsevier Science,, c1999.
面頁冊數:	1 online resource (xviii, 760 p.) : : ill.
標題:	Categories (Mathematics)
標題:	Types, Th�eorie des.
標題:	Cat�egories (Math�ematiques)
標題:	Typentheorie.
標題:	Wiskundige logica.
標題:	Type theory.
ISBN:	9780444501707
ISBN:	0444501703
ISBN:	9786611048266
ISBN:	661104826X
ISBN:	0080528708 (electronic bk.)
ISBN:	9780080528700 (electronic bk.)
書目註:	Includes bibliographical references (p. 717-733) and indexes.
內容註:	Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.
摘要、提要註:	This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
電子資源:	http://www.sciencedirect.com/science/book/9780444501707
電子資源:	Full text

Categorical logic and type theory[electronic resource] /
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. 12..

Includes bibliographical references (p. 717-733) and indexes.

<IT>Chapter Headings only.</IT> Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

ISBN: 9780444501707

Source: 118794:127317Elsevier Science & Technologyhttp://www.sciencedirect.comSubjects--Topical Terms:

443415
Categories (Mathematics)
Index Terms--Genre/Form:

336502
Electronic books.

LC Class. No.: QA9 / .J27 1999eb

Dewey Class. No.: 511.3

Categorical logic and type theory[electronic resource] /
LDR:02544cam 2200457Ia 4500 001 370740
005 20120813081226.0
006 m d
007 cr cn|||||||||
008 121228s1999 ne a ob 001 0 eng d
019 $a 441801312 $a 609273688 $a 779919296
020 $a 9780444501707
020 $a 0444501703
020 $a 9786611048266
020 $a 661104826X
020 $a 0080528708 (electronic bk.)
020 $a 9780080528700 (electronic bk.)
029 1 $a NZ1 $b 12432745
029 1 $a AU@ $b 000048130237
029 1 $a DEBBG $b BV039830118
035 $a ocn162130542
037 $a 118794:127317 $b Elsevier Science & Technology $n http://www.sciencedirect.com
040 $a OPELS $b eng $c OPELS $d MERUC $d OCLCE $d E7B $d OCLCQ $d OPELS $d IDEBK $d OCLCQ $d TULIB $d OCLCO
049 $a NTYA
050 4 $a QA9 $b .J27 1999eb
072 7 $a QA $2 lcco
082 0 4 $a 511.3 $2 22
084 $a 31.10 $2 bcl
100 1 $a Jacobs, Bart. $3 486674
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.
505 0 $a <IT>Chapter Headings only.</IT> Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.
520 $a This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.
588 $a Description based on print version record.
650 0 $a Categories (Mathematics) $3 443415
650 6 $a Types, Th�eorie des. $3 486676
650 6 $a Cat�egories (Math�ematiques) $3 443418
650 1 7 $a Typentheorie. $2 gtt $3 486677
650 1 7 $a Wiskundige logica. $2 gtt $3 444249
650 0 $a Type theory. $3 486675
655 4 $a Electronic books. $2 local $3 336502
776 0 8 $i Print version: $a Jacobs, Bart. $t Categorical logic and type theory. $b 1st ed. $d Amsterdam ; New York : Elsevier Science, c1999 $z 0444501703 $z 9780444501707 $w (DLC) 98043478 $w (OCoLC)40298312
830 0 $a Studies in logic and the foundations of mathematics ; $v v. 12. $3 443093
856 4 0 $3 ScienceDirect $u http://www.sciencedirect.com/science/book/9780444501707
856 $z Full text $u http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141
938 $a ebrary $b EBRY $n ebr10206564
938 $a Ingram Digital eBook Collection $b IDEB $n 104826

筆 0 讀者評論

多媒體

多媒體檔案
http://www.sciencedirect.com/science/book/9780444501707
http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141

評論

新增評論分享你的心得

Export

取書館別