Mod-01 Lec-40 Semantic Tableaux Method for Predicate Logic

Name: Mod-01 Lec-40 Semantic Tableaux Method for Predicate Logic
Uploaded: Mar 18, 2015
Duration: 2723 s
Description: 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

nptelhrd2.21M subscribers

6.4K views

Mar 18, 2015

45:23

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

Download

0 formats

No download links available.