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