scientific article; zbMATH DE number 936956
From MaRDI portal
Publication:4896357
zbMath0862.03034MaRDI QIDQ4896357
Publication date: 20 October 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other constructive mathematics (03F65)
Related Items
A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography, Does logical pluralism imply, or suggest, truth pluralism, or vice versa?, Pluralism and proofs, Proofs and retributions, or: why Sarah can't take limits, Reverse formalism 16, Constructive mathematics: a foundation for computable analysis, Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
