000			00525nam a2200169 4500
008			0 1992 0a 000 0USA
020			_a0-19-853735-2
050			_aQA76 H339
082			_a001.64 A538h
100			_aAbramsky, S.
245			_aHandbook of Logic in Computer Science / S. Abramsky
260			_aU.S.A. : Oxford
300			_a827 p. / 24 cm.
500			_aInclude Index & References.
650			_a1. COMPUTADORAS \ 2. LÓGICA SÍMBOLICA Y MATEMÁTICA
700			_aGabbay, Dov M. \ Maibaum, T. S. E.
999			_c13417 _d13417