Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Institution
Carnegie Mellon University
Year
2013
Country
United States
MGP identifier
280395

Dissertation: Propositional reasoning that tracks probabilistic reasoning

Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy