scientific article
From MaRDI portal
Publication:3310619
zbMath0529.03038MaRDI QIDQ3310619
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Differential equations in constructive analysis and in the recursive realizability topos ⋮ Arithmetic transfinite induction and recursive well-orderings
This page was built for publication:
