scientific article
From MaRDI portal
Publication:2722047
zbMath0966.03032MaRDI QIDQ2722047
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Logic programming (68N17) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication:
