scientific article; zbMATH DE number 972383
From MaRDI portal
Publication:5691471
zbMath0857.00005MaRDI QIDQ5691471
Publication date: 29 January 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
This page was built for publication: