121

121

Клини С.К. Математическая логика. М., 1973. С. 234.