pid type title authors mentors source_title published_date url doi isbn issn eissn pmf:7775 thesis "Topološki prostori izračunljivog tipa" "Čelar, Matea"