Relations, functions, induction, and recursion: Mathematical Logic course | Zoonk