scientific article; zbMATH DE number 1984274
From MaRDI portal
Publication:4428708
zbMath1052.03005MaRDI QIDQ4428708
Publication date: 22 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50)
Related Items (1)
This page was built for publication: