scientific article; zbMATH DE number 7215080

MaRDI QIDQ5114700zbMATH OpenFDO

Authors Tomasz Skura

Publication date 25 June 2020

Mathematics Subject Classification ID

Other nonclassical logic (03B60) 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 Q5114700)