Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Reinhold Kołodziej

Original record
Institution
Uniwersytet Wrocławski
Year
1973
Country
Poland
MGP identifier
312174

Dissertation: The reducibility of second-order weak arithmetic formulas to pseudocanonical forms

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy