https://cel.archives-ouvertes.fr/cel-00154509
Contributeur : Jean-Louis Krivine
<>
Soumis le : mercredi 13 juin 2007 - 19:29:06
Dernière modification le : vendredi 4 janvier 2019 - 17:32:59
Document(s) archivé(s) le : jeudi 8 avril 2010 - 20:09:50
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〉
