TY  - BOOK
AU  - SIPSER, Michael
AU  - 
TI  - Introduction to the theory of computation
SN  - 8131501620
U1  - 511.3 
PY  - 2006///
CY  - SINGAPORE
PB  - THOMSONS
KW  - MATHEMATICAL LOGIC
ER  -