Вводный курс математической логики (Верещагин Н.К.)