https://9lib.org/document/q05xlkdl-egzamin-logiki-czerwca-skonstruowa-rachunku-sekwent-dowody-formu.html