Predmetni nastavnik prof. Silvia Gilezan
Literatura
* Glynn Winskel: The Formal Semantics of Programming Languages, MIT Press, 1993.
* Henk Barendregt: Lambda calculi with types, Handbook of Logic in Computer Science, Volume II, Oxford University Press, 1992.
* Benjamin C. Pierce: Types and programming languages, MIT Press, 2002.
* Robert Harper: Practical Foundations of Programming Languages, Cambridge University Press, 2012.
* Robin Milner: Communicating and mobile systems: the Pi calculus, Cambridge University Press, 1999.
Dodatna literatura i informacije su dostupni na stranici predmeta Logika u računarstvu.