000			00821cam a2200265 a 4500
003			CUTN
005			20180221125217.0
008			970418s1998 njua b 001 0 eng
020			_a9789332549890
020			_a0132624788
041			_aEnglish
082	0	0	_a511.3 _221 _bLEW
100	1		_aLewis, Harry R.
245	1	0	_aElements of the theory of computation / _cHarry R. Lewis, Christos H. Papadimitriou.
250			_a2nd ed.
260			_aUpper Saddle River, N.J. : _bPrentice-Hall, _cc1998.
300			_a361 p. : _bill. ; _c25 cm.
650		0	_aMachine theory.
650		0	_aFormal languages.
650		0	_aComputational complexity.
650		0	_aLogic, Symbolic and mathematical.
700	1		_aPapadimitriou, Christos H.
942			_2ddc _cBOOKS
504			_aIncludes bibliographical references and index.
999			_c24515 _d24515