000 00401 a2200157 4500
020 _a9780072322002
082 _a511.3
_bMAR
090 _c7516
_d10447
100 _aMartin, John C.
245 _aIntroduction to languages and the theory of computation
250 _a3rd.
260 _aBoston
_bMcGraw-Hill
_c2003
_g2003
300 _axiii, 543p.
_c25cm.
650 _aMATHEMATICAL LOGIC
942 _cL
999 _c36223
_d36223