Course schedule (in Polish) Seminarium badawcze "Logika i teoria typów" [1000-2S19LTT] Academic year 2022/23
All lectures are taking place in this building: Educational Building - Faculty of Mathematics, Informatics and Mechanics - Campus Ochota
All lectures are taking place in this building: Educational Building - Faculty of Mathematics, Informatics and Mechanics - Campus Ochota