Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Categorical logic and type theory
Record Type:
Language materials, printed : 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. 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
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login