scientific article
From MaRDI portal
Publication:3119360
zbMath1410.03022MaRDI QIDQ3119360
Publication date: 11 March 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication: