| Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:157565669:1647 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:157565669:1647?format=raw |
LEADER: 01647pam a2200385 a 4500
001 1620570
005 20220608201018.0
008 940505m19949999enka b 001 0 eng
010 $a 94019153
020 $a0198537697 (v. 1) :$c£70.00 ($105.00 U.S.)
035 $a(OCoLC)30474321
035 $a(OCoLC)ocm30474321
035 $9AKM8959CU
035 $a(NNC)1620570
035 $a1620570
040 $aDLC$cDLC$dDLC
050 00 $aQA76.6$b.G27 1994
082 00 $a511.3$220
100 1 $aGabbay, Dov M.,$d1945-$0http://id.loc.gov/authorities/names/n80153278
245 10 $aTemporal logic :$bmathematical foundations and computational aspects /$cDov M. Gabbay, Ian Hodkinson, and Mark Reynolds.
260 $aOxford :$bClarendon Press ;$aNew York :$bOxford University Press,$c1994.
300 $avolumes :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aOxford logic guides ;$v28
490 1 $aOxford science publications
504 $aIncludes bibliographical references and indexes.
650 0 $aComputer programming.$0http://id.loc.gov/authorities/subjects/sh85107310
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
700 1 $aHodkinson, Ian.$0http://id.loc.gov/authorities/names/n94043641
700 1 $aReynolds, Mark$q(Mark A.)$0http://id.loc.gov/authorities/names/n94043645
830 0 $aOxford logic guides ;$v28.$0http://id.loc.gov/authorities/names/n42018411
830 0 $aOxford science publications.$0http://id.loc.gov/authorities/names/n42027424
852 01 $bmat$hQA76.6$i.G27 1994
866 41 $80$av.1