Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Saeed Salehi

Original record
Institution
Polska Akademia Nauk
Year
2002
Country
Poland
MGP identifier
93048

Dissertation: Herbrand Consistency in Arithmetics with Bounded Induction

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisors 2

Students 5

NameInstitutionYearStudents
Ziba AssadiUniversity of Tabriz20190
Ahmad KarimiTarbiat Modares University20140
Parvin SafariUniversity of Tabriz20170
Payam SerajiUniversity of Tabriz20160
Mohammadsaleh ZarzaUniversity of Tabriz20190
Genealogy