144 We use cookies. Read the Privacy and Cookie Policy I accept 144 Новиков П.С. Элементы математической логики. М., 1959. С. 215.