Course in mathematical logic

Provability - introduction to formal languages truth and deducibility the continuum problem and forcing the continuum problem and constructible sets computability - recursive functions and Church's thesis diophantine sets and algorithmic undecidability provability and computability Goedel's incompleteness theorem recursive groups.