Autore | Titolo | Casa editrice | Anno | ISBN | Note |
P. Odifreddi | Classical recursion theory | Elsevier North-Holland | 1989 | ||
N. Jones | Computability and Complexity | MIT Press | 1997 | ||
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman | Introduction to Automata Theory, Languages and Computation (Edizione 2) | Addison-Wesley | 2000 | 0201441241 | |
S. C. Kleene | Introduction to metamathematics (Edizione 13) | North Holland | 2000 | ||
H. Rogers | Theory of recursive functions and effective computability | MIT Press | 1988 |
Strada le Grazie 15
37134 Verona
Partita IVA
01541040232
Codice Fiscale
93009870234
© 2021 | Università degli studi di Verona | Credits