Algebra of logic and algorithmization?

Question

Programming

Hello.
I am looking for an intelligent textbook on the algebra of logic and algorithmization. I know that Google has a lot, but I would like an intelligent textbook that really teaches and sorts everything in my head. What did you do or what do you like?
I need to be able to understand HOW to write code, what conditions are, how to use operators, etc.

Answer 1

D. Knuth "The Art of Programming"
"Concrete Mathematics" (the same for children)

Answer 2

There is a textbook on computer logic here, and I would also recommend Romanovsky's Discrete Analysis.
And yet, you can find on the Internet a Harvard course on programming CS50, which has probably already been translated into all languages ​​​​of the world)