scientific article; zbMATH DE number 1292304
From MaRDI portal
Publication:4244313
zbMath0925.03042MaRDI QIDQ4244313
K. L. Kwast, Sieger van Denneheuvel
Publication date: 30 May 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Subsystems of classical logic (including intuitionistic logic) (03B20) Other applications of logic (03B80)
Related Items (1)
This page was built for publication: