| Record ID | marc_records_scriblio_net/part27.dat:91791562:753 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part27.dat:91791562:753?format=raw |
LEADER: 00753cam 2200241 a 4500
001 98043478
003 DLC
005 19990301160059.7
008 981027s1999 ne a b 001 0 eng
010 $a 98043478
020 $a0444501703
040 $aDLC$cDLC$dDLC
050 00 $aQA9$b.J27 1999
082 00 $a511.3$221
100 1 $aJacobs, Bart.
245 10 $aCategorical logic and type theory /$cBart Jacobs.
250 $a1st ed.
260 $aAmsterdam ;$aNew York :$bElsevier Science,$cc1999.
300 $axviii, 760 p. :$bill. ;$c23 cm.
440 0 $aStudies in logic and the foundations of mathematics ;$vv. 141
504 $aIncludes bibliographical references (p. 717-733) and indexes.
650 0 $aType theory.
650 0 $aCategories (Mathematics)