On substitution for functorial variables

MaRDI QIDQ1235693zbMATH OpenFDO

Authors Tadeusz Batog

Publication date 1976

Published in Functiones et Approximatio. Commentarii Mathematici (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical propositional logic (03B05)

This page was built for publication: On substitution for functorial variables

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