Applied Logic for Computer Scientists Computational Deduction and Formal Proofs / by Mauricio Ayala-Rincón, Flávio L. C. de Moura.
This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists...
Full description
Saved in: