TY  - JOUR
AU  - Kreisel, G.
TI  - La prédicativité
JO  - Bulletin de la Société Mathématique de France
PY  - 1960
SP  - 371
EP  - 391
VL  - 88
PB  - Société mathématique de France
UR  - http://www.numdam.org/articles/10.24033/bsmf.1554/
DO  - 10.24033/bsmf.1554
LA  - fr
ID  - BSMF_1960__88__371_0
ER  -