Razgranata teorija tipova kao intenzionalna logika : doktorski rad = Ramified type theory as intensional logic : doctoral thesis - Lojkić, Goran; Kovač, Srećko (2018)