Logic, Induction and Sets

1. Definitions and notations 2. Recursive datatypes 3. Partially ordered sets 4. Propositional calculus 5. Predicate calculus 6. Computable functions 7. Ordinals 8. Set theory 9. Answers to selected questions.