Prof. Carlucci's Module:
February 26: Presentation of the course. The language of First-Order Logic. Syntax and Semantics.
March 2: Formulas and Sentences. General Logical Problems. The class of Computable Functions.
Prof. Perelli's Module: