for BIU's Mathematical Logic, 88-303, which i taught in 2017a, see here.
לוגיקה מתמטית, 88303, תשע"ח