Mod-01 Lec-41 Semantic Tableaux method: Satisfiability, Validity
Channel: nptelhrd
Date: 2015-03-18

Introduction to Logic by Dr. A.V. Ravishankar Sarma,Department of Humanities and Social Sciences,IIT Kanpur.For more details on NPTEL visit http://nptel.ac.in