Publication:3744157
From MaRDI portal
zbMath0606.03015MaRDI QIDQ3744157
Publication date: 1985
03F15: Recursive ordinals and ordinal notations
zbMath0606.03015MaRDI QIDQ3744157
Publication date: 1985
03F15: Recursive ordinals and ordinal notations