scientific article
From MaRDI portal
Publication:3718713
zbMath0591.03043MaRDI QIDQ3718713
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)
Related Items (1)
This page was built for publication: