scientific article
From MaRDI portal
Publication:2826389
zbMath1347.03016MaRDI QIDQ2826389
Publication date: 17 October 2016
Full work available at URL: http://www.ysu.am/files/5-sayad.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (1)
This page was built for publication:
