新生學校財團法人新生醫護管理專科學校圖書館 |

Categorical logic and type theory

Record Type:	Electronic resources : Monograph/item
Title/Author:	Categorical logic and type theory/ Bart Jacobs.
Author:	Jacobs, Bart.
Published:	Amsterdam ;Elsevier Science, : c1999.,
Description:	1 online resource (xviii, 760 p.) :ill. :
Subject:	Type theory. -
Online resource:	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. 141..

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:

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

96803
Electronic books.

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

Dewey Class. No.: 511.3

Categorical logic and type theory
LDR:02544cmm 2200457Ia 4500 001 139741
005 20120813081226.0
006 m d
007 cr cn|||||||||
008 160121s1999 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 257512
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 : $c c1999. $b Elsevier Science,
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 134573
650 0 $a Categories (Mathematics) $3 132379
650 6 $a Types, Th�eorie des. $3 257513
650 6 $a Cat�egories (Math�ematiques) $3 257514
650 1 7 $a Typentheorie. $2 gtt $3 257515
650 1 7 $a Wiskundige logica. $2 gtt $3 257516
655 4 $a Electronic books. $2 local. $3 96803
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. 141. $3 257511
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