A obra 'Lógica para Computação' apresenta de forma original e introdutória os fundamentos da lógica matemática para estudantes de Ciência da Computação, destacando a importância dos métodos formais na resolução de problemas. Em sua segunda edição, inclui novos exercícios e ferramentas de apoio.
LÓGICA PARA COMPUTAÇÃO
PRIMEIRA10



















