58:32Mod-01 Lec-19 Semantic Tableaux Method for Propositional Logicnptelhrd61.8K viewsView & Download
1:18:34Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)Stanford Online107.9K viewsView & Download
5:42Logic 2 - Propositional Logic Syntax | Stanford CS221: AI (Autumn 2021)Stanford Online7.6K viewsView & Download