| Record ID | marc_loc_2016/BooksAll.2016.part28.utf8:17809339:998 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_2016/BooksAll.2016.part28.utf8:17809339:998?format=raw |
LEADER: 00998cam a22002774a 4500
001 99051824
003 DLC
005 20070925120746.0
008 991006s2000 enka b 101 0 eng
010 $a 99051824
020 $a0863802524 (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA9.A1$bF77 2000
082 00 $a511.3$221
245 00 $aFrontiers of combining systems 2 /$cedited by Dov M. Gabbay, Maarten de Rijke.
246 3 $aFrontiers of combining systems two
260 $aBaldock ;$aPhiladelphia, PA :$bResearch Studies Press,$c2000.
300 $axiii, 407 p. :$bill. ;$c24 cm.
440 0 $aStudies in logic and computation ;$v7
504 $aIncludes bibliographical references and index.
650 0 $aLogic, Symbolic and mathematical$vCongresses.
650 0 $aComputer science$vCongresses.
700 1 $aGabbay, Dov M.,$d1945-
700 1 $aRijke, Maarten de
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0745/99051824-d.html