pid,type,title,authors,mentors,source_title,published_date,url,doi,isbn,issn,eissn hrstud:3379,dissertation,"Logička formalizacija evidencije u evidencijalnim jezicima","Šekrst, Kristina",,,,,,,, ifzg:179,dissertation,"Logičko pojmovna struktura Brouwerova intuicionizama","Restović, Ivan",,,,,,,, hrstud:1833,dissertation,"Logičko pojmovna struktura Brouwerova intuicionizama","Restović, Ivan",,,,,,,, hrstud:1805,dissertation,"RAZGRANATA TEORIJA TIPOVA KAO INTENZIONALNA LOGIKA","Lojkić, Goran",,,,,,,, hrstud:1828,dissertation,"Normativno i deskriptivno u zaključivanju","Sekulić, Dragana",,,,,,,,