144

144

Новиков П.С. Элементы математической логики. М., 1959. С. 215.