scientific article
From MaRDI portal
Publication:3214898
zbMath0272.02052MaRDI QIDQ3214898
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Proof theory and constructive mathematics (03F99)
Related Items