000			00350nam a2200133Ia 4500
008			230410s9999||||xx |||||||||||||| ||und||
020			_a9780521879408
082			_a005.115 MIL
100			_aDale Miller, Gopalan Nadathur
245		0	_aProgramming with Higher-order Logic
260			_bCambridge University Press _c2012
300			_a306
942			_cBK
999			_c1640 _d1640