Conducted in
terms:
2023, 2024
ECTS credits:
6
Organized by:
Faculty of Mathematics, Informatics, and Mechanics
(in Polish) Seminarium badawcze "Logika i teoria typów" 1000-2S19LTT
This course has not yet been described...
Course coordinators
Assessment criteria
A PhD student to get its mark needs to give at least two talks, one in each semester.