https://cel.archives-ouvertes.fr/cel-00154509
Contributor : Jean-Louis Krivine <>
Submitted on : Wednesday, June 13, 2007 - 7:29:06 PM Last modification on : Saturday, March 28, 2020 - 2:13:25 AM Long-term archiving on: : Thursday, April 8, 2010 - 8:09:50 PM
Jean-Louis Krivine. Realizability: a machine for Analysis and Set Theory. École thématique. Université de Luminy Février 2006, 2006, pp.106. ⟨cel-00154509⟩