This instructional material mainly relies on the following resources:
Chapters from

• LTA 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.