https://9lib.org/document/qo5or6d5-rachunek-zdań-i-predykatów-agnieszka-nowak-czerwca.html