000			00703nam a2200217Ia 4500
008			130910s9999 xx 000 0 und d
020			_a0121703509
041			_aeng
082			_221st ed. _a511.3 _bCHA/S
100			_aChang, Chin-Liang
245			_aSymbolic logic mechanical theorem proving _cChin-Liang Chang and Richard Char-Tung Lee
260			_aOrlando : _bAcademic Press , _c1973
300			_axiii, 308 p.
490			_aA series of monographs and textbooks _aedited by Werner Rheinboldt
504			_aBibliography: p. 309-31 includes index.
653			_aComputer architecture
653			_aComputer mathematics
653			_aMathematics
700			_aLee, Richard Char-Tung
942			_cEN _2ddc
999			_c7813 _d7813