scientific article; zbMATH DE number 5255036
From MaRDI portal
zbMath1140.03038MaRDI QIDQ5452018
Publication date: 28 March 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)
Related Items