東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Categorical logic and type theory

Record Type:	Electronic resources : Monograph/item
Title/Author:	Categorical logic and type theory/ Bart Jacobs.
Author:	Jacobs, Bart.{me_controlnum}
Published:	Amsterdam ;Elsevier Science, : c1999.,
Description:	1 online resource (xviii, 760 p.) :ill.
[NT 15003449]:	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.
Subject:	Type theory. -
Online resource:	http://www.sciencedirect.com/science/book/9780444501707
Online resource:	http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141Full text
ISBN:	9780444501707

Categorical logic and type theory
Jacobs, Bart.{me_controlnum}

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:

664822
Type theory.
Index Terms--Genre/Form:

542853
Electronic books.

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

Dewey Class. No.: 511.3

Categorical logic and type theory
LDR:02544cmm 2200457Ia 4500 001 1325769
005 20120813081226.0
006 m d
007 cr cn|||||||||
008 130122s1999 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.{me_controlnum} $3 1613846
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 Type theory. $3 664822
650 0 $a Categories (Mathematics) $3 525955
650 6 $a Types, Th�eorie des. $3 1613847
650 6 $a Cat�egories (Math�ematiques) $3 1374971
650 1 7 $a Typentheorie. $2 gtt $3 1613848
650 1 7 $a Wiskundige logica. $2 gtt $3 926271
655 4 $a Electronic books. $2 lcsh $3 542853
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 1374706
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