Topics include propositional logic, boolean algebras and rings, first-order logic and systems of deduction. Time permitting, we will touch on Tarski's notion of model, and the completeness and ...