Mathematical language and notation: Mathematical Logic course | Zoonk