pid,type,title,authors,mentors,source_title,published_date,url,doi,isbn,issn,eissn pmf:9686,dissertation,"On logics and semantics for interpretability","Mikec, Luka",,,,,,,, pmf:5306,thesis,"Topološka potpunost logika dokazivosti","Mikec, Luka",,,,,,,,