
Use Logic to Auto-Check Your Code Properties
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!





























