scientific article
From MaRDI portal
Publication:3895466
zbMath0449.03056MaRDI QIDQ3895466
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)