Рабочие записи

сделанные при чтении книги С. Клини "Введение в метаматематику".