scientific article; zbMATH DE number 622495
From MaRDI portal
Publication:4303002
zbMath0803.03006MaRDI QIDQ4303002
Publication date: 3 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
independencefilterintuitionistic logicclassical logicfree Boolean algebrasfree axiomatizationfree base
This page was built for publication: