Language

Lecture 4: The semantics of propositional logic



Logic for CS, Shai Ben-David, U Waterloo Fall 2015