@phdthesis{hrstud:3379,
	author = {{Šekrst, Kristina}},
	title = {{Logička formalizacija evidencije u evidencijalnim jezicima}},
}
@phdthesis{ifzg:179,
	author = {{Restović, Ivan}},
	title = {{Logičko pojmovna struktura Brouwerova intuicionizama}},
}
@phdthesis{hrstud:1833,
	author = {{Restović, Ivan}},
	title = {{Logičko pojmovna struktura Brouwerova intuicionizama}},
}
@phdthesis{hrstud:1805,
	author = {{Lojkić, Goran}},
	title = {{RAZGRANATA TEORIJA TIPOVA KAO INTENZIONALNA LOGIKA}},
}
@phdthesis{hrstud:1828,
	author = {{Sekulić, Dragana}},
	title = {{Normativno i deskriptivno u zaključivanju}},
}