scientific article
From MaRDI portal
Publication:3726110
zbMath0595.03053MaRDI QIDQ3726110
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)