scientific article; zbMATH DE number 1975407

From MaRDI portal

Publication:4424650

Jump to:navigation, search

zbMath1031.03509MaRDI QIDQ4424650

Vladimir Mikhailovich Popov

Publication date: 4 September 2003

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

zbMATH Keywords

intuitionistic propositional logic positive fragment

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4424650&oldid=18458396"