| Record ID | marc_columbia/Columbia-extract-20221130-006.mrc:66326770:1116 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-006.mrc:66326770:1116?format=raw |
LEADER: 01116fam a2200325 a 4500
001 2555254
005 20221012193348.0
008 000229s2000 ne b 000 0 eng
010 $a 00028202
020 $a0792362373 (alk. paper)
035 $a(OCoLC)43706716
035 $a(OCoLC)ocm43706716
035 $9AQP0950CU
035 $a(NNC)2555254
035 $a2555254
040 $aDLC$cDLC$dNNC
042 $apcc
050 00 $aQA9.46$b.L33 2000
082 00 $a511.3$221
245 00 $aLabelled deduction /$cedited by David Basin [and others].
260 $aDordrecht ;$aBoston :$bKluwer Academic Publishers,$c2000.
300 $axi, 266 pages ;$c25 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aApplied logic series ;$vv. 17
504 $aIncludes bibliographical references.
650 0 $aModality (Logic)$0http://id.loc.gov/authorities/subjects/sh85086410
700 1 $aBasin, David.$0http://id.loc.gov/authorities/names/n00092962
830 0 $aApplied logic series ;$vv. 17.$0http://id.loc.gov/authorities/names/n96048526
852 00 $boff,glx$hQA9.46$i.L33 2000