Record ID | marc_claremont_school_theology/CSTMARC1_multibarcode.mrc:198523188:2169 |
Source | marc_claremont_school_theology |
Download Link | /show-records/marc_claremont_school_theology/CSTMARC1_multibarcode.mrc:198523188:2169?format=raw |
LEADER: 02169cam a2200613 a 4500
001 ocm26852663
003 OCoLC
005 20200617072908.5
008 921006s1993 mdua b 001 0 eng
010 $a 92035172
040 $aDLC$beng$cDLC$dUKM$dBAKER$dBTCTA$dYDXCP$dGEBAY$dBDX$dOCLCO$dGBVCP$dOCLCF$dOCLCQ
015 $aGB9359689$2bnb
015 $aGB93Z5841$2bnb
016 7 $a081-91896$2Uk
020 $a0819189634$q(cloth ;$qalk. paper)
020 $a9780819189639$q(cloth ;$qalk. paper)
020 $a0819189642$q(pbk. ;$qalk. paper)
020 $a9780819189646$q(pbk. ;$qalk. paper)
029 1 $aAU@$b000009520196
029 1 $aGBVCP$b122041186
029 1 $aGEBAY$b2049465
029 1 $aNZ1$b4482654
029 1 $aYDXCP$b762244
035 $a(OCoLC)26852663
050 00 $aBC108$b.H36 1993
082 00 $a160$220
049 $aMAIN
100 1 $aHenry, Granville C.
245 14 $aThe mechanism and freedom of logic /$cGranville C. Henry.
260 $aLanham :$bUniversity Press of America,$c©1993.
300 $aix, 232 pages :$billustrations ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
338 $avolume$bnc$2rdacarrier
504 $aIncludes bibliographical references (pages 217-225) and index.
590 $bArchive
650 0 $aLogic.
650 0 $aProlog (Computer program language)
650 7 $aLogic.$2fast$0(OCoLC)fst01002014
650 7 $aProlog (Computer program language)$2fast$0(OCoLC)fst01078876
650 07 $aLogische Programmierung.$2swd
650 07 $aPROLOG (Programmiersprache)$2swd
650 07 $aMathematische Logik.$2swd
650 07 $aComputer.$2swd
653 0 $aLogic
653 0 $aProgramming languages
856 41 $3Table of contents$uhttp://www.gbv.de/dms/bowker/toc/9780819189639.pdf
938 $aBaker & Taylor$bBKTY$c37.00$d37.00$i0819189642$n0002216603$sactive
938 $aBaker & Taylor$bBKTY$c67.00$d67.00$i0819189634$n0002216602$sactive
938 $aBrodart$bBROD$n45770786$c$38.99
938 $aBaker and Taylor$bBTCP$n92035172
938 $aYBP Library Services$bYANK$n762245
994 $a92$bCST
976 $a10011432606