000			00528pam a2200193a 44500
008			160408b1988 xxu||||| |||| 00| 0 eng d
020			_a0262081741
082			_a511.3 _bH323p
100			_aHayashi, Susumu
245	1		_aPX _cA COMPUTATIONAL LOGIC
260			_aCambridge _bMit Pr. _c1988
300			_axiv,200
440			_aFoundations Of Computing Series _v
650			_aLogic, Symbolic And Mathematical
650			_aAutomatic Theorem Proving
700			_aNakano, Hiroshi
964			_gCIRC
997			_aA104636 C
999			_c314374 _d314374