Ksiazki wydane po polsku:

1. Blikle, A., Automaty i gramatyki, PWN, Warszawa 1971.
2. Hopcroft, J.E., Ullman, J.D., Wprowadzenie do teorii automatów, 
   języków i obliczeń. PWN, Warszawa  1994.
3. Kościelski, A., Teoria obliczeń. Wykłady z matematycznych podstaw 
   informatyki. Wydawnictwo Uniwersytetu Wrocławskiego, Wrocław 1997.
4. Murawski, R., Funkcje rekurencyjne i elementy metamatematyki. 
   Problemy zupełności, rozstrzygalności, twierdzenia Gödla. 
   Wyd. III, Wydawnictwo Naukowe UAM, Poznań 2000.
5. Harel, D., Algorytmika. Rzecz o istocie informatyki. Wyd III (?) 
   WNT, Warszawa 2001.
6. Harel, D., Komputery - spółka z o.o. Czego komputery naprawdę nie umieją
   robić. WNT, Warszawa 2002. 
7. Papadimitriou, Ch. H., Złożoność obliczeniowa. WNT, Warszawa 2002.
8. Hopcroft, J.E., Motwani, R., Ullman, J.D., Introduction to Automata Theory, 
   Languages and Computation. Nowa wersja pozycji 2, ma się ukazać po polsku
   w wydawnictwie WNT.