Escrito com um texto agradável e objetivo, este livro apresenta o universo da lógica aplicada à programação de computadores. Fonte de estudo autoinstrucional, é indicado para estudantes iniciantes na área de construção de algoritmos.