Latem 2022 r. profesor Andrzej Indrzejczak otrzymał European Research Council Advanced Grant. Tytuł projektu to ,,Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms” (ExtenDD).
Latem 2022 r. profesor Andrzej Indrzejczak otrzymał European Research Council Advanced Grant. Tytuł projektu to ,,Coming to Terms: Proof Theory Extended to Definite Descriptions and other Terms” (ExtenDD).