Introduction to the theory of computation

1. Είδος οντότητας Έργο (αυτοτελές έργο)
2. Συγγραφέας
   1. Sipser, Michael
3. Γλώσσα του έργου Αγγλική
4. Θεματικές επικεφαλίδες
   1. Λογική, Συμβολική και μαθηματική
   2. Ηλεκτρονικοί υπολογιστές -- Μαθηματικές αρχές