The interpretability logic ILF - Vuković, Mladen, matematičar (Array, 1998)
Mathematical colloquium, Croatian mathematical society-division Osijek, 29.5.1998.