Science of Programming

• Intro and Prepositional Logic
• Predicate Logic