1:18:34Logic 1 - Propositional Logic | Stanford CS221: AI (Autumn 2019)Stanford Online107.9K viewsView & Download
57:12SPLV 2024 - Introduction to Separation Logic 1 (Jean-Marie Madiot)SPLI: The Scottish Programming Languages Institute322 viewsView & Download
16:02Logic 1: Binary Propositions, De Morgan’s Law, What is an Implication — Tutorial 1/4Bisqwit26.1K viewsView & Download