scientific article; zbMATH DE number 7034420

MaRDI QIDQ3119355zbMATH OpenFDO

Authors Javier Legris

Publication date 11 March 2019

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof theory in general (including proof-theoretic semantics) (03F03)

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 Q3119355)