In studying logic to understand verifying programs I have found that there are books on logic targeted at Computer Science e.g.
- Logic in Computer Science: Modelling and Reasoning about Systems
- Mathematical Logic for Computer Science
- Computability and Logic
- Handbook of Practical Logic and Automated Reasoning
With regards to books on understating theorems targeted at Computer Science I find only one that may fit. As I don't have the book I can't say for sure.
Are there any books for understating theorems targeted at Computer Science? In other words are there books for understating syntax, semantics and construction of theorems that don't rely on a heavy math background and that give examples more from the world of computer science and explain in a style more natural to a person in computer science.
After seeking more on this topic I have come upon the phrases "informal mathematics" and "mathematical discourse" which are starting to turn up useful info from Google. In particular the following: Understanding Informal Mathematical Discourse found at Understanding Informal Mathematical Proofs