...-inaccessible ordinals, collapsing functions and a recursive notation system.
Page 1
Gerhard Jäger (1984)
Archiv für mathematische Logik und Grundlagenforschung
Н.В. Белякин (1969)
Algebra i Logika
Г.Е. Минц (1979)
Zapiski naucnych seminarov Leningradskogo
Page 1