gornji_deo
ogradica_gornja








Thursday 15.05.2017 - Zoran Petrić - Invariants for Classification of Propositional Formulae

Thursday
27.04.2017 - Miloš Adžić - Kurt Gdel and modern logic

Thursday
23.06.2016 - Kosta Došen -  General Proof Theory and Categorial Proof Theory

Thursday 15.12.2016 - Silvia Ghilezan - Types for formal systems
Thursday 15.12.2016 - Zoran Ognjanović - An introduction to logics with probability operators
Thursday 15.12.2016 - Žikica Perović - Exhaustivity Ranks of Maharam algebras







actual_event
about_seminar
FA_board
AA_board
lectures
partners
ogradica_srednja
NIŠ
about_site
pictures


ogradica
3