The book puts proofs into practice, demonstrating the fundamental role of logic and proof in computer science. For Arkoudas, a senior research scientist at Bloomberg, the book fulfills an eight ...