@article{ASCFM_1962__7_1_101_0,
     author = {Heyting, A.},
     title = {M\'ethode et probl\`emes de l'intuitionnisme},
     journal = {Annales de la facult\'e des sciences de l'universit\'e de Clermont. Math\'ematiques},
     pages = {101--105},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {7},
     number = {1},
     year = {1962},
     mrnumber = {280335},
     language = {fr},
     url = {http://www.numdam.org/item/ASCFM_1962__7_1_101_0/}
}