Srećko Kovač (popis objekata)

Prikaži radove sa ostalih repozitorija

Vođeni / mentorirani radovi (3)
Logička formalizacija evidencije u evidencijalnim jezicima Šekrst, Kristina Disertacija Datum obrane: 01.03.2022. Funkcija: mentor Rad je objavljen i na sljedećim repozitorijima:
Logičko pojmovna struktura Brouwerova intuicionizama Restović, Ivan Disertacija Datum obrane: 29.03.2019. Funkcija: mentor Rad je objavljen i na sljedećim repozitorijima: Logičko pojmovna struktura Brouwerova intuicionizama, Sveučilište u Zagrebu, Fakultet hrvatskih studija
RAZGRANATA TEORIJA TIPOVA KAO INTENZIONALNA LOGIKA Lojkić, Goran Disertacija Datum obrane: 21.02.2018. Funkcija: mentor Rad je objavljen i na sljedećim repozitorijima:

Nadzirani radovi (povjerenstvo) (1)
Normativno i deskriptivno u zaključivanju Sekulić, Dragana Disertacija Datum obrane: 2012. Funkcija: predsjednik povjerenstva Rad je objavljen i na sljedećim repozitorijima:

Nacionalna i sveučilišna knjižnica u Zagrebu