https://9lib.org/document/yd7kvooe-rachunek-sekwentów-metalogika-andrzej-indrzejczak-katedra-logiki-metodologii.html