Incluye lecturas recomendadas e índice de notaciones. --
Computability -- Grammars and Automata -- Logics -- Complexity -- Semantics.
Click on an image to view it in the image viewer