Logic
(L)
Logic Programming
(LP)
Special Topics in Logics
Semantics of Programming Languages
(SPL)
Methodics
(M)
Research (including Diploma works)
Last update: 6 April 2007
Designed by
Adrian Mironescu
