
Prove Your Code Is Correct With Logic
Logic for Programmers by Hillel Wayne
Not just for mathematicians and detectives! Learn the basics of logic and its many applications, including advanced testing, constraint solving, function composition, and code proofs. Over 50 exercises and 20 sample programs are included. No prior math background required!





























