TY - GEN AU - Martin, John C. TI - Introduction to languages and the theory of computation SN - 9780072322002 U1 - 511.3 PY - 2003/// CY - Boston PB - McGraw-Hill KW - MATHEMATICAL LOGIC ER -