scientific article; zbMATH DE number 3233632
From MaRDI portal
Publication:5521482
zbMath0145.01002MaRDI QIDQ5521482
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Constructive order types on cuts, Sound, totally sound, and unsound recursive equivalence types, … and so on: Schütte on Naming Ordinals