Miło nam poinformować, że profesor Andrzej Indrzejczak otrzymał European Research Council Advanced Grant na realizację projektu ,,Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms” (ExtenDD). Więcej informacji o projekcie można znaleźć na stronie https://www.uni.lodz.pl/extendd