Конструктивная классификация арифметических предикатов и семантические базисы арифметики M.M. Кипнис — 1968 Zapiski naucnych seminarov Leningradskogo