https://9lib.org/document/ky6810nz-widok-algebraiczna-semantyka-dla-nihilistycznych-rachunków-kwantyfikatorów.html