000			00523cam a2200193ua 4500
008			131108t2012||||||||||| 00 ||eng c
020			_a9780521879408
041	0		_aeng
082			_a005.115 _bMIL/P
100			_aMiller,, Dale
245	1	0	_aProgramming with Higher-Order Logic /
260			_aNew York: _bCambridge University Press, _c2012.
300			_a306.
362	1		_a2012.
650			_aComputer science- Computer programming
650	0		_aLogical programming
700	0	2	_aNadathur,, Gopalan
942			_cBK
999			_c29565 _d29565