Ewa Orłowska on Relational Methods in Logic and Computer ScienceJoanna Golińska-Pilarek, Michał Zawidzki₹10,821