Focusing on applications of logic in computer science and mathematics, this book explains how to use the English language with logical responsibility, how to define and use formal language, and how to reason correctly. The book also presents a balanced view between scientific and academic factors of logic, particularly on the topic of interpretation. Specific issues include propositional and predictate logic, logic networks, logic programming, proof of correctness, semantics, syntax and theorems of Herbrand and Kalman.