Bootstrapping system defined by inconsistent relation between Boolean and non-Boolean algebra
scientific article; zbMATH DE number 932157
scientific article