Three contributions to the two-valued propositional calculus
scientific article; zbMATH DE number 3489085