scientific article
From MaRDI portal
Publication:3080424
zbMath1207.18011MaRDI QIDQ3080424
Publication date: 10 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proof theory in general (including proof-theoretic semantics) (03F03) Quantales (06F07) Categorical structures (18D99)
This page was built for publication: