Logic Programming Knowledge Engineering Tore Amble 1989 AI Computer Science

Boolean Algebra for Computer Logic - Circuit Design, Digital Logic, Binary Math

Applied Boolean Algebra - Logic, Circuits, Math, Computing, Engineering

Logic: The Right Use of Reason in the Inquiry After Truth

The Discovery of Deduction - An Introduction to Formal Logic - Paperback - NEW

Natural Deduction~Predictive Logic~Anderson & Johbnstone, HC 1962~Penn State

Language, Truth and Logic (Penguin Modern Classics) by Ayer, A.J. Paperback The

Beyond Classical Logic: Philosophical and Computational Investigations in Deduct