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