TY  - BOOK
AU  - MORET, Bernard M
AU  - 
TI  - Theory of computation
SN  - 817808550X
U1  - 511.3 
PY  - 2002///
CY  - DELHI
PB  - PEARSON EDUCATION
KW  - MATHEMATICAL LOGIC
ER  -