Dit instructiemateriaal leunt vooral op de volgende bronnen:
Hoofstukken uit

• L.T.A. Gamut (1991) Logic, Language, and Meaning, Volume 1, Introduction to Logic. The University of Chicago Press.
• J. van Benthem, H. van Ditmarsch, J. Lodder, J. Ketting & W. Meyer-Viol (2003) Logica voor informatici (ed. 3). Pearson Addison-Wesley
• J. van Benthem, H. van Ditmarsch, J. van Eijck & J. Jaspars (2016) Logic in Action (https://www.logicinaction.org)
• J. van Eijck, E. Thijse, G. Vreeswijk (2018). Logica voor alfa's en informatici.