scientific article; zbMATH DE number 804147
From MaRDI portal
Publication:4851413
zbMath0829.03005MaRDI QIDQ4851413
Publication date: 21 January 1996
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: