Jean-Louis Krivine (Paris 7), Some examples of realizability models of ZF

Programme

• 15 novembre 2012, 10:30 - 12:00