scientific article; zbMATH DE number 9843

MaRDI QIDQ3971916zbMATH OpenFDO

Authors Jacek Hawranek

Publication date 25 June 1992

zbMATH Keywords

degree of uniformityJohansson's minimal logic

Mathematics Subject Classification ID

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