[Cel] site on formal logic

Hello, I would like to bring to your kind attention the following free online textbook on logic (if might be interested): https://logic-text.eu/2.1.CategoricalStatements.html Kind regards!