scientific article; zbMATH DE number 1104350
From MaRDI portal
Publication:4370223
zbMath0889.03051MaRDI QIDQ4370223
Publication date: 14 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)
Related Items (1)
This page was built for publication: