No livro, apresentamos conceitos e resultados introdutórios de lógica clássica, aritmética dos números inteiros, estruturas booleanas e finalizamos com um capítulo onde exploramos alguns conceitos e resultados relacionados a computabilidade de funções e de decidibilidade de predicados. A idéia principal é trabalhar os conceitos, explorando exemplos e propondo exercícios clássicos e úteis para a um aluno ingressante em cursos de ciência da computação.

O site pede cadastro. É fácil, rápido e vale a pena.