Κύριος συγγραφέας:	Sipser, Michael
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Boston: PWS, 1997
Θέματα:	Computer science Computation Automation Mathematics Machine learning Languages Computer programming languages Logic Computer programs Algorithms Systems design Machine theory Computational complexity