diplomski rad
Polimodalna logika dokazivosti GLP

Ivo Matijašević (2017)
Sveučilište u Zagrebu
Prirodoslovno-matematički fakultet
Matematički odsjek