Propositional and Predicate Calculus — Goldrei Derek — libreta