Proceedings of the 70th anniversary NF meeting in Cambridge

Contributions à deux journées organisées à l'occasion du 70e anniversaire de la publication de«New foundations for mathematical logic»de Willard Van Orman Quine où il décrivait pour la première fois la théorie des ensembles New Foundations (NF).