Mini kurs u okviru seminara Katedre za algebru i matematičku logiku, 28. mart 2013 - prvo predavanje

U okviru seminara Katedre za algebru i matematičku logiku biće održan mini kurs pod nazivom "Kategorijalna teorija dokaza" koji će držati kolega Zoran Petrić.

Prvo predavanje je u petak 28. marta sa početkom u 12:00 u učionici 840.

Plan i kratak sadržaj kursa



Ostavite vaš komentar:


(opciono)
(nece biti prikazano)