Logic in programming

Question

I like to learn proper logic for programming.
What is the book or video recommendations?

Answer 1

I got one book from 1997 and is super complete MATEMATICA DISCRETA Y LOGICA UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACION. You'll need to search it original english version. Prentice Hall.