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