Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs | DealShopping Deutschland