This is an advanced seminar in mathematical logic for doctoral and postdoctoral researchers.