scientific article; zbMATH DE number 1254485
From MaRDI portal
Publication:4227553
zbMath0922.03012MaRDI QIDQ4227553
Publication date: 26 May 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
nominalismmodal-structuralismdefinitionist programme of predicativist mathematicsliberalized versionpredicative flexible type theory
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)
This page was built for publication: