Qual o melhor livro de lógica?

Estou querendo estudar lógica de programação. Porém, não sei qual livro devo comprar para estudar. Alguem pode me recomendar um bom livro de lógica de programação? ( de preferencia, alguem que ja leu, e consiguiu programar.)