000			00410nam a22001577a 4500
999			_c576 _d576
003			OSt
005			20181113113149.0
008			181105b pe ||||| |||| 00| 0 sp d
020			_a970-15-10722-0
082			_a005.131 _bJ87
100			_9753 _aIranzo Pascual, Julián
245			_aLógica simbólica para informáticos
260			_aMéxico _bAlfaomega Grupo Editor _c2005
300			_a299 p.
942			_2ddc _c001