scientific article; zbMATH DE number 682472
From MaRDI portal
Publication:4312195
zbMath0803.03007MaRDI QIDQ4312195
Publication date: 3 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
filterintuitionistic logicclassical logicfree Boolean algebraindependent axiomatizationfree axiomatizationfree base
Related Items (1)
This page was built for publication: