000 00516nam a2200181Ia 4500
008 241215s9999 xx 000 0 und d
020 _a9788131505137
040 _aJamia Hamdard
041 _aEnglish
082 _a005.131
_bS47T
100 _aSipser, Michael
245 0 _aTheory of computation
_cMichael Sipser.
260 _aAustralia
_bCourse technology
_cc2007.
300 _a346p.: ill.; 24cm.
500 _aBibliography p.333-36.
650 _aConstructive mathematic
_bMathematical logic.
942 _cBK
999 _c52197
_d52197