Matematičke teorije u jezicima drugog reda : magistarski rad - Vuković, Mladen, matematičar (M. Vuković, 1990)