Marcel Maretić
Ph.D. University of Zagreb 2013
Dissertation:
Algorithmic equivalence of multiple conclusion natural deduction systems and Beth's semantic tableaux method
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Zvonimir Šikić
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 240069 for the advisor ID.