scientific article
From MaRDI portal
Publication:3322096
zbMath0537.03038MaRDI QIDQ3322096
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
absorptiontype theorynormal form theoremcut eleminationcompleteness properties of classical theories of finite typejoker theory
Related Items (1)
This page was built for publication: