| Record ID | marc_records_scriblio_net/part26.dat:151546508:723 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part26.dat:151546508:723?format=raw |
LEADER: 00723nam 22002418a 4500
001 97046916
003 DLC
005 19971209080301.1
008 971205s1998 nyu b 001 0 eng
010 $a 97046916
020 $a0137263651 (alk. paper)
040 $aDLC$cDLC
050 00 $aQA76$b.G223 1998
082 00 $a511.3$221
100 1 $aGabbay, Dov M.,$d1945-
245 00 $aElementary logics :$ba procedural perspective /$cDov Gabbay.
260 $aNew York :$bPrentice Hall Europe,$c1998.
263 $a9803
300 $ap. cm.
440 0 $aPrentice Hall series in computer science
504 $aIncludes bibliographical references and index.
650 0 $aComputer science.
650 0 $aLogic, Symbolic and mathematical.