000			00498 a2200145 4500
082			_a511.3 _bSy68l
245	1		_aLOGIC IN COMPUTER SCIENCE _cPROCEEDINGS
260			_aWashington, D. C. _bComputer Society Pr. _c1987
300			_axi,361
500			_aSponsored By Computer Science Society Of Ieee, Technical Committee On Mathematical Foundations Of Computing
650			_aLogic, Symbolic And Mathematical -- Cong
650			_aComputer Programe -- Cong
964			_gCIRC
997			_aA100084 C
999			_c465759 _d465759