scientific article; zbMATH DE number 5829668

MaRDI QIDQ3064901zbMATH OpenFDO

Authors Xavier Caicedo

Publication date 28 December 2010

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3064901)