I want to learn programming.
I have knowledge of mathematical logic.
So, what I am searching is a book (or varios books) for learning to programming, but I think that a book like one which I imagine would be great. As I said, I have knowledge of mathematical logic, hence I have experience with formal languages.
So, I am searching a book where the theory of programing is developed, not a specific language, the theory of programing in a language in general, something like the foundations of programing or the theory of programing languages.