scientific article
From MaRDI portal
Publication:3081641
zbMath1250.03117MaRDI QIDQ3081641
Publication date: 9 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)
Related Items (1)
This page was built for publication:
