000 | 04303cam a2200973Ia 4500 | ||
---|---|---|---|
001 | ocm53983677 | ||
003 | OCoLC | ||
005 | 20220712175422.0 | ||
006 | m o d | ||
007 | cr cnu---unuuu | ||
008 | 040106s2000 enk ob 001 0 eng d | ||
040 |
_aN$T _beng _epn _cN$T _dOCLCQ _dYDXCP _dOCLCG _dOCLCQ _dN$T _dOCLCQ _dOCLCF _dNLGGC _dOCLCO _dOCLCQ _dIDEBK _dOCLCQ _dSTF _dVTS _dAGLDB _dG3B _dK6U _dOCLCO |
||
019 |
_a814379019 _a824546057 _a906270583 _a1082223175 |
||
020 |
_a9780191546273 _q(electronic bk.) |
||
020 |
_a0191546275 _q(electronic bk.) |
||
020 | _a1280375272 | ||
020 | _a9781280375279 | ||
020 | _z0198537352 | ||
020 | _z9780198537359 | ||
020 | _z0198537611 | ||
020 | _z9780198537618 | ||
020 | _z019853762X | ||
020 | _z9780198537625 | ||
020 | _z0198537808 | ||
020 | _z9780198537809 | ||
020 | _z0198537816 | ||
020 | _z9780198537816 | ||
029 | 1 |
_aDEBBG _bBV043134508 |
|
029 | 1 |
_aDEBSZ _b422405094 |
|
029 | 1 |
_aGBVCP _b801101956 |
|
029 | 1 |
_aNZ1 _b11632364 |
|
035 |
_a(OCoLC)53983677 _z(OCoLC)814379019 _z(OCoLC)824546057 _z(OCoLC)906270583 _z(OCoLC)1082223175 |
||
050 | 4 |
_aQA76 _b.H2785 2000eb |
|
072 | 7 |
_aCOM _x052000 _2bisacsh |
|
072 | 7 |
_aCOM _x037000 _2bisacsh |
|
072 | 7 |
_aCOM _x013000 _2bisacsh |
|
072 | 7 |
_aCOM _x032000 _2bisacsh |
|
072 | 7 |
_aCOM _x018000 _2bisacsh |
|
072 | 7 |
_aCOM _x014000 _2bisacsh |
|
072 | 7 |
_aCOM _x067000 _2bisacsh |
|
072 | 7 |
_aPBCD _2bicssc |
|
082 | 0 | 4 |
_a004 _222 |
049 | _aMAIN | ||
245 | 0 | 0 |
_aHandbook of logic in computer science. _nVolume 5, _pLogic and algebraic methods / _cedited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. |
246 | 3 | 0 | _aLogic and algebraic methods |
260 |
_aOxford : _bClarendon Press ; _aNew York : _bOxford University Press, _c2000. |
||
300 | _a1 online resource. | ||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
490 | 1 | _aOxford science publications. | |
504 | _aIncludes bibliographical references and indexes. | ||
520 | _aThis handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. | ||
590 |
_aeBooks on EBSCOhost _bEBSCO eBook Subscription Academic Collection - Worldwide |
||
650 | 0 |
_aComputer science. _957974 |
|
650 | 0 | _aLogic, Symbolic and mathematical. | |
650 | 2 |
_aElectronic Data Processing _942124 |
|
650 | 6 |
_aInformatique. _9869464 |
|
650 | 6 |
_aLogique symbolique et mathématique. _9875634 |
|
650 | 7 |
_aCOMPUTERS _xReference. _2bisacsh _938225 |
|
650 | 7 |
_aCOMPUTERS _xMachine Theory. _2bisacsh _938226 |
|
650 | 7 |
_aCOMPUTERS _xComputer Literacy. _2bisacsh _938227 |
|
650 | 7 |
_aCOMPUTERS _xInformation Technology. _2bisacsh _938228 |
|
650 | 7 |
_aCOMPUTERS _xData Processing. _2bisacsh _938229 |
|
650 | 7 |
_aCOMPUTERS _xComputer Science. _2bisacsh _938230 |
|
650 | 7 |
_aCOMPUTERS _xHardware _xGeneral. _2bisacsh _938231 |
|
650 | 7 |
_aComputer science. _2fast _0(OCoLC)fst00872451 _957974 |
|
650 | 7 |
_aLogic, Symbolic and mathematical. _2fast _0(OCoLC)fst01002068 |
|
650 | 7 |
_aCiencia da computacao ou informatica. _2larpcal _91343401 |
|
650 | 7 |
_aLogica e semantica de programacao. _2larpcal _91343402 |
|
653 | 0 | _aProgramming. | |
655 | 0 | _aElectronic books. | |
655 | 4 | _aElectronic books. | |
700 | 1 |
_aAbramsky, Samson, _d1953- _91343403 |
|
700 | 1 |
_aGabbay, Dov M., _d1945- _91343404 |
|
700 | 1 |
_aMaibaum, Thomas S. E., _d1947- _91343405 |
|
776 | 0 | 8 |
_iPrint version: _tHandbook of logic in computer science. Volume 5, Logic and algebraic methods. _dOxford : Clarendon Press ; New York : Oxford University Press, 2000 _z0198537352 _z9780198537359 _w(DLC) 92000510 _w(OCoLC)25831688 |
830 | 0 |
_aOxford science publications. _9203054 |
|
856 | 4 | 0 | _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=98424 |
938 |
_aEBSCOhost _bEBSC _n98424 |
||
938 |
_aProQuest MyiLibrary Digital eBook Collection _bIDEB _n37527 |
||
938 |
_aYBP Library Services _bYANK _n2336166 |
||
994 |
_a92 _bINOPJ |
||
999 |
_c2874809 _d2874809 |