000			00568pam a2200193a 44500
008			160408b1987 xxu||||| |||| 00| 0 eng d
082			_a511.3 _bM379t
100			_aMaslov, Sergei Iur'Evich
245	1		_aTHEORY OF DEDUCTIVE SYSTEMS AND ITS APPLICATIONS
260			_aCambridge _bMit Pr. _c1987
300			_ax,151
440			_aMit Press Series In The Foundations Of Computing _v
650			_aLogic, Symbolic And Mathematical
650			_aAlgorithms
650			_aMachine Theory
700			_aLifschitx, Vladimir
964			_gCIRC
997			_aA100088 C
999			_c314373 _d314373