Learning from Łukasiewicz and Meredith: investigations into proof structures
scientific article; zbMATH DE number 7437072
scientific article