gornji_deo
ogradica_gornja






Melanija Mitrović - Constructive semigroups with apartness - a new approach to semigroup   theory, Algebra and Geometry Seminar, December 12, 2017, Uppsala University, Sweden

Melanija Mitrović - An introduction to a development of the theory of constructive semigroups with apartness, The Stockholm Logic Seminar, November 15, 2017, University of St, Sweden

Melanija Mitrović - Semilattices of Archimedean Semigroups,
MAM Seminar, October 25, 2017, MDH, Sweden

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

Thursday
27.04.2017 - Miloš Adžić - Kurt Gödel 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