Automata theory Abstract machine List of undecidable problems Computational complexity theory Computability logic Important publications in computability Michael Sipser (1997).
Teorija automata Apstraktni stroj Popis neodlučivih problema Računska teorija složenosti Logika izračunljivosti Važne publikacije u teoriji izračunljivosti Michael Sipser (1997).