Fundamentos da Engenharia de Software: Introdução a Lógica de Programação

Este livro aborda basicamente os conceitos básicos de programação como autômatos, tipos de linguagens, princípios dos compiladores, paradigmas de desenvolvimento e lógica de programação.