TY  - BOOK
AU  - Heyting A
TI  - Fondements des mathematiques: intuitionnisme theorie de la demonstration
U1  - 510=4 
PY  - 1955///
CY  - Paris
PB  - Gauthier-Villars
KW  - Mathematics
ER  -