Geodesic
Finite and infinite in intuitionistic mathematics
Compositio Mathematica, Tome 18 (1967) no. 1-2, pp. 94-116 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@article{CM_1967__18_1-2_94_0,
     author = {Troelstra, A. S.},
     title = {Finite and infinite in intuitionistic mathematics},
     journal = {Compositio Mathematica},
     pages = {94--116},
     year = {1967},
     publisher = {P. Noordhoff N. V., Groningen},
     volume = {18},
     number = {1-2},
     mrnumber = {226997},
     zbl = {0163.00501},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1967__18_1-2_94_0/}
}
TY  - JOUR
AU  - Troelstra, A. S.
TI  - Finite and infinite in intuitionistic mathematics
JO  - Compositio Mathematica
PY  - 1967
SP  - 94
EP  - 116
VL  - 18
IS  - 1-2
PB  - P. Noordhoff N. V., Groningen
UR  - http://geodesic.mathdoc.fr/item/CM_1967__18_1-2_94_0/
LA  - en
ID  - CM_1967__18_1-2_94_0
ER  - 
%0 Journal Article
%A Troelstra, A. S.
%T Finite and infinite in intuitionistic mathematics
%J Compositio Mathematica
%D 1967
%P 94-116
%V 18
%N 1-2
%I P. Noordhoff N. V., Groningen
%U http://geodesic.mathdoc.fr/item/CM_1967__18_1-2_94_0/
%G en
%F CM_1967__18_1-2_94_0
Troelstra, A. S. Finite and infinite in intuitionistic mathematics. Compositio Mathematica, Tome 18 (1967) no. 1-2, pp. 94-116. http://geodesic.mathdoc.fr/item/CM_1967__18_1-2_94_0/