This covers definitions of logical consequence and theories in propositional logic. We follow chapter 2 of Moti Ben Ari's textbook, Mathematical Logic for Computer Science.
No download links available.
