TY  - BOOK
AU  - Hamlet Richard G
TI  - Introduction to computation theory
U1  - 511.3 
PY  - 1974///
CY  - N Y
PB  - Intext Educational Publishers
KW  - Computation theory
KW  - Mathematical logic
ER  -