Logic & Foundations with Haskell: Logic 7 :: Semantics for Propositional Logic Published -- Download video MP4 360p