000 00429nam a2200157Ia 4500
008 240904s9999 xx 000 0 und d
020 _a9781133187813
082 _a511.3
_bSIP
100 _aSipser, Michael
245 0 _aIntroduction to the Theory of Computation /
245 0 _cMichael Sipser
250 _a3rd ed.
260 _aSingapore :
_bCengage Learning,
_c2013
300 _a458p
650 _a Mathematical (Symbolic) logic
999 _c326
_d326