Курс лекций по дискретной математике. Часть 2. Математическая логика