programme ultra-intuitionniste des fondements des mathématiques (1961)

by Le
Venue:In Infinitistic Methods, Proceedings of the Symposium on the Foundations of Mathematics