https://9lib.org/document/y8gpe08w-geneza-pomysłu-sheffera-dotyczącego-redukcji-stałych-logicznych-różnej.html