master's thesis
Polimodalna logika dokazivosti GLP

Ivo Matijašević (2017)
University of Zagreb
Faculty of Science
Department of Mathematics