Элементы матемтической логики - Новиков П.С (Гос. изд-во физ.мат. лит, 1959)