scientific article; zbMATH DE number 6692813

MaRDI QIDQ2966675zbMATH OpenFDO

Authors Andrzej Indrzejczak, Marek Nowak

Publication date 8 March 2017

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Classical first-order logic (03B10) Abstract deductive systems (03B22)

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