Predmetni nastavnik prof. Silvia Gilezan

Literatura
* Glynn Winskel: The Formal Semantics of Programming Languages, MIT Press, 1993.
* 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.