scientific article
From MaRDI portal
Publication:2876077
zbMath1296.03005MaRDI QIDQ2876077
Publication date: 15 August 2014
Full work available at URL: http://d-nb.info/1015734464/34
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure of proofs (03F07) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Proof theory in general (including proof-theoretic semantics) (03F03)
This page was built for publication:
