Information Technology
Syllabus of CSE (SE,TE,BE)deptt.(2008-10)
Discrete Mathematics - Balakrishnan and Viswanathan
Introduction to Logic1 Introduction to Logic 3. lecture Propositional Logic Continuing Marie Duží.
Chapter 7 Reasoning about Knowledge by Neha Saxena Id: 13 CS 267.