scientific article; zbMATH DE number 7714889
From MaRDI portal
Publication:6172977
zbMath1515.03209MaRDI QIDQ6172977
Publication date: 20 July 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) 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:
