Курс посвящен основам математической логики.