scientific article
From MaRDI portal
Publication:3767345
zbMath0631.03043MaRDI QIDQ3767345
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Structure of proofs (03F07) Second- and higher-order arithmetic and fragments (03F35)
This page was built for publication: