Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Karel L. de Bouvere

Original record
Institution
Not recorded
Year
Not recorded
Country
Netherlands
MGP identifier
104239

Dissertation: A Method of Proofs of Undefinability, with Applications to Functions in the Arithmetic of Natural Numbers

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy