00782nam a2200229 a 4500 vtls000072322 KUKTEM 20251125093730.0 130619t2009 enka f 001 0 eng d 9780521899574 (hbk.) 0521899575 (hbk.) 201401221117 saini 201306191151 sri UMP QA76.9.L63 H37 2009 Harrison, J. (John) Handbook of practical logic and automated reasoning / John Harrison Cambridge : Cambridge University Press, 2009 xix, 681 p. : ill. ; 25 cm. Includes bibliographical references and index Computer logic 0 0 0 0 20000 20000 2019-09-04 555.45 0 QA76.9.L63 H37 2009 0000080530 2019-09-04 00:00:00 1 555.45 2019-09-04 OPEN VIRTUA40 67626 67632 VTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*5040*6500*9992