scientific article; zbMATH DE number 2120405

zbMath1051.03011MaRDI QIDQ4829700

M. V. Patlasov

Publication date: 30 November 2004

Full work available at URL: http://www.emis.de/journals/FPM/eng/k00/k004/k00414h.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

diagnostic formulas

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: