+ wishlist Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) [9783319516516] Add to Cart The item has been added Author: Mauricio Ayala-Rincón Flávio L. C. de Moura Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) [9783319516516] Buy More - Save More. Below are the available bulk discount rates for each individual item when you purchase a certain amount Quantity Price Savings 25 - 49 12% 50 - 99 13% 100+ 14% List Price As Low as $49.99 Format: Paperback