Course schedule Logic and type theory [1000-2M13LTT] Winter semester 2020/21
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