scientific article; zbMATH DE number 2214008
From MaRDI portal
Publication:5695479
zbMath1072.00006MaRDI QIDQ5695479
Publication date: 13 October 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to mathematics in general (00-02) Proof theory and constructive mathematics (03F99)