Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Zoran Petrić

Original record
Institution
University of Belgrade
Year
1997
Country
Serbia
MGP identifier
53951

Dissertation: Jednakosti izvođenja u kategorijalnoj teoriji dokaza - Identity of Proofs in Categorial Proof Theory (in Serbian)

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 4

NameInstitutionYearStudents
Jelena IvanovićUniversity of Belgrade20200
Marina MilićevićUniversity of Novi Sad20200
Sonja Telebaković OnićUniversity of Belgrade20220
Mladen ZekićUniversity of Belgrade20220
Genealogy