Publication:3671965
From MaRDI portal
zbMath0522.03042MaRDI QIDQ3671965
Publication date: 1983
03F15: Recursive ordinals and ordinal notations
zbMath0522.03042MaRDI QIDQ3671965
Publication date: 1983
03F15: Recursive ordinals and ordinal notations