000 00542pam a2200193a 44500
005 20170112144026.0
008 160408b1990 xxu||||| |||| 00| 0 eng d
020 _a0125242204
040 _cIITK
041 _aeng
082 _a001.642
_bL829
245 1 _aLogic and computer science
_cedited by Piergiorgio Odifreddi
260 _aLondon
_bAcademic Press
_c1990
300 _aviii, 430p
650 _aElectronic digital computers -- Programming
650 _aLogic programing
700 _aOdifreddi, Piergiorgio [ed.]
942 _cBK
999 _c325728
_d325728