livro raciocinio logico e informatica 1a edicao de 2014