Séance 2


Groupe de lecture Kohlenbach, Plume et LIMD. 12 novembre 2009 14:00 limd 2:00:00
Abstract:

Deuxième séance du groupe de lecture sur le livre de Kohlenbach ``Applied Proof Theory''.