scientific article

From MaRDI portal

Publication:2751814

Jump to:navigation, search

zbMath0980.03008MaRDI QIDQ2751814

Vladimir Mikhailovich Popov

Publication date: 12 March 2002

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

zbMATH Keywords

embedding implicative fragment of intuitionistic logic implicative fragment of classical logic

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:2751814&oldid=15618258"