Introduction to languages, machines and logic : computable languages, abstract machines and formal logic /

Bibliographic Details

Main Author:	Parkes, Alan
Format:	Book
Language:	English
Published:	London ; New York : Springer, [2002]
Subjects:	Formal languages. Machine theory.