scientific article
From MaRDI portal
Publication:2878184
zbMath1305.00086MaRDI QIDQ2878184
Publication date: 28 August 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Complexity of computation (including implicit computational complexity) (03D15) Proof theory in general (including proof-theoretic semantics) (03F03) External book reviews (00A17)
This page was built for publication:
