Added slide with intuitionistic propositional calculus rules
Added algebraic semantics of classical logic
Continue working