How logic powers computers and software Practice: Mathematical Logic course | Zoonk