**1st module**

**Dott. Stefano Baratella**

**A.A. 1998/99**

**PROGRAMME**

Aim of the course is an introduction to mathematical logic. Propositional
and predicate logic are presented in Hilbert and/or in natural deduction
style. Basic elements of model theory are also introduced, with emphasis
on simple applications to mathematical structures/constructions.

**REFERENCE TEXTS**

BELL-MACHOVER, A Course in Mathematical Logic, North Holland

VAN DALEN, Logic and Structure, Springer-Verlag

HODGES, Model Theory, Cambridge University Press

DEVLIN, The Joy of Sets, Springer-Verlag

KUNEN, Set Theory, an Introduction to Independence Proofs, North Holland