Jérôme Fortier
Original record- Institution
- Université du Québec à Montréal and Aix-Marseille Université
- Year
- 2014
- Country
- Canada
- MGP identifier
- 191888
Dissertation: Puissance expressive des preuves circulaires
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Srečko BrlekInstitution not recorded
- Luigi SantocanaleUniversité du Québec à Montréal · 2000
Students 0
No students recorded in this snapshot.