Bibliografia
Seguiremos o livro "Logic in Computer Science" de Huth e Ryan, Cambridge University Press, 2004.
A biblioteca disponibiliza uma cópia digital, para acessos com o e-mail USP:
https://drive.google.com/file/d/1rnLt1sipBiiSjpV7ZzOgGDlyf6z--tlH/view?usp=sharing
Há uma versão em português e outras edições em inglês. Qualquer uma serve para acompanhar o curso, mas quando eu fizer referência a páginas, farei em relação à edição disponível para todos.Última atualização: quinta-feira, 27 ago. 2020, 17:18