| Record ID | marc_columbia/Columbia-extract-20221130-004.mrc:577929004:1219 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-004.mrc:577929004:1219?format=raw |
LEADER: 01219mam a2200337 a 4500
001 1955543
005 20220609034808.0
008 960529m19969999enka b 001 0 eng
010 $a 96025507
020 $a0198538332 (v. 1)
035 $a(OCoLC)ocm34943274
035 $9AMF6094CU
035 $a(NNC)1955543
035 $a1955543
040 $aDLC$cDLC$dNNC
050 00 $aBC71$b.G3 1996
082 00 $a160$220
100 1 $aGabbay, Dov M.,$d1945-$0http://id.loc.gov/authorities/names/n80153278
245 10 $aLabelled deductive systems /$cDov M. Gabbay.
260 $aOxford :$bClarendon Press ;$aNew York :$bOxford University Press,$c1996-
300 $avolumes :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aOxford logic guides ;$v33
490 1 $aOxford science publications
504 $aIncludes bibliographical references and index.
650 0 $aLogic.$0http://id.loc.gov/authorities/subjects/sh85078106
830 0 $aOxford logic guides ;$v33.$0http://id.loc.gov/authorities/names/n42018411
830 0 $aOxford science publications.$0http://id.loc.gov/authorities/names/n42027424
852 01 $bmat$hBC71$i.G3 1996
866 41 $80$av.1