scientific article
From MaRDI portal
Publication:3496309
zbMath0712.03007MaRDI QIDQ3496309
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)
This page was built for publication: