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

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

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

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

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

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

Logic for Computer Scientists, Paperback by Schoning, Uwe, Like New Used, Fre...