Open University. Topics in Pure Mathematics Course Team.

• Functors
• Group axioms
• Recursive functions
• Set axioms
• Topics in pure mathematics handbook
• Turing machines and post systems