Applied Logic for Computer Scientists : Computational Deduction and Formal Pr...

The Discovery of Deduction Introduction to Formal Logic Student & Teacher Guides

Modern Birkhäuser Classics Ser.: Logic for Computer Scientists by Uwe...

From Computational Logic to Computational Biology: Essays Dedicated to Alfredo F

Ayala-Rincn - Applied Logic for Computer Scientists Computational D - X555z

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Matrix Computation for Engineers and Scientists

Logic for Computer Scientists, Paperback by Schoning, Uwe, Used Good Conditio...