scientific article
From MaRDI portal
zbMath0523.03049MaRDI QIDQ3674657
No author found.
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equalityprimitive recursionarithmetic of the natural numbersconstructive arithmeticsprimitive recursive universe
Categorical logic, topoi (03G30) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65)
Related Items
