Katedra Logiki i Metodologii Nauk U艁 zaprasza na wyk艂ad: A Gentle Introduction to Formalised Proof-Theory in Coq, kt贸ry odb臋dzie si臋 w dniu 08 grudnia 2022 r. (czwartek) w sali E o godzinie 10.00. Wyk艂ad wyg艂osi Rajev Gore, znany specjalista z zakresu teorii dowodu i automatycznej dedukcji.