| Record ID | marc_loc_2016/BooksAll.2016.part01.utf8:13799020:1003 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part01.utf8:13799020:1003?format=raw |
LEADER: 01003cam a22002654a 4500
001 00028202
003 DLC
005 20080308081659.0
008 000229s2000 ne a b 000 0 eng
010 $a 00028202
020 $a0792362373 (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA9.46$b.L33 2000
082 00 $a511.3$221
245 00 $aLabelled deduction /$cedited by David Basin ... [et al.].
260 $aDordrecht ;$aBoston :$bKluwer Academic Publishers,$cc2000.
300 $axi, 266 p. :$bill. ;$c25 cm.
440 0 $aApplied logic series ;$vv. 17
504 $aIncludes bibliographical references.
650 0 $aModality (Logic)
700 1 $aBasin, David.
856 42 $3Contributor biographical information$uhttp://www.loc.gov/catdir/enhancements/fy0814/00028202-b.html
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0814/00028202-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0814/00028202-t.html