Razgranata teorija tipova kao intenzionalna logika : doktorski rad = Ramified type theory as intensional logic : doctoral thesis - Lojkić, Goran (Doktorska disertacija–Sveučilište u Zagrebu, Hrvatski studiji, 2018., 2018)