1. Adamowicz Z, Zbierski P (2011) Logic of mathematics: a modern course of classical logic. Wiley, New York
2. Arora S, Barak B (2009) Computational complexity: a modern approach. Cambridge University Press, Cambridge
3. Ball T, Zorn B (2015) Teach foundational language principles. Commun ACM 58(5):30–31
4. Barland I, Felleisen M, Fisler K, Kolaitis P, Vardi MY (2000) Integrating logic into the computer science curriculum. In: Innovation and technology in computer science education
5. Barwise J, Feferman S (eds) (1985) Model-theoretic logics. In: Perspectives in mathematical logic. Springer, Berlin