scientific article
From MaRDI portal
Publication:3931387
zbMath0475.03036MaRDI QIDQ3931387
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Peano arithmeticsemi-normcontinuous functionaldefinable comprehension ruledefinable inductive definitionsHahn-Banach theorem in the separable normed linear space
This page was built for publication: