TY - BOOK AU - Nederpelt,R.P. AU - Kamareddine,Fairouz D. TI - Logical Reasoning T2 - Texts In Computing SN - 9780954300678 U1 - 511.3 PY - 2011/// CY - England PB - College Publications KW - Logic, Symbolic and mathematical N2 - This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics ER -