Rosella Gennari
E-mail: gennari@inf.unibz.it
Introduction to mathematical logic; (3rd ed.)
Dynamic Logic
Mathematical Logic