TY  - BOOK
T1  - Introduction to languages, machines and logic :computable languages, abstract machines and formal logic /
DA  - c2002.
CY  - London ;
CY  - New York :
AU  - Parkes, Alan.
CN  - QA267.3
CN  - QA267.3
PB  - Springer,
PP  - London ;
PP  - New York :
PY  - c2002.
ID  - 260996
KW  - Formal languages.
KW  - Machine theory.
SN  - 1852334649 (pbk. : alk. paper)
TI  - Introduction to languages, machines and logic :computable languages, abstract machines and formal logic /
ER  -