Jean-Yves Girard, La Logique : 2.1, desaxiomatisation de l’arithmétique

Schedule

• May 29, 2018, 14:00 - 17:15
• May 30, 2018, 9:30 - 12:45