Language Lecture 4: The semantics of propositional logic October 1, 2015Logic for CS, Shai Ben-David, U Waterloo Fall 2015 Logic for CS, Shai Ben-David, U Waterloo Fall 2015 Source
thanx very much