Geodesic
A topological interpretation of second-order intuitionistic arithmetic
Compositio Mathematica, Tome 26 (1973) no. 3, pp. 261-275 Cet article a éte moissonné depuis la source Numdam

Voir la notice de l'article

@article{CM_1973__26_3_261_0,
     author = {Moschovakis, Joan Rand},
     title = {A topological interpretation of second-order intuitionistic arithmetic},
     journal = {Compositio Mathematica},
     pages = {261--275},
     year = {1973},
     publisher = {Noordhoff International Publishing},
     volume = {26},
     number = {3},
     mrnumber = {357076},
     zbl = {0279.02018},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1973__26_3_261_0/}
}
TY  - JOUR
AU  - Moschovakis, Joan Rand
TI  - A topological interpretation of second-order intuitionistic arithmetic
JO  - Compositio Mathematica
PY  - 1973
SP  - 261
EP  - 275
VL  - 26
IS  - 3
PB  - Noordhoff International Publishing
UR  - http://geodesic.mathdoc.fr/item/CM_1973__26_3_261_0/
LA  - en
ID  - CM_1973__26_3_261_0
ER  - 
%0 Journal Article
%A Moschovakis, Joan Rand
%T A topological interpretation of second-order intuitionistic arithmetic
%J Compositio Mathematica
%D 1973
%P 261-275
%V 26
%N 3
%I Noordhoff International Publishing
%U http://geodesic.mathdoc.fr/item/CM_1973__26_3_261_0/
%G en
%F CM_1973__26_3_261_0
Moschovakis, Joan Rand. A topological interpretation of second-order intuitionistic arithmetic. Compositio Mathematica, Tome 26 (1973) no. 3, pp. 261-275. http://geodesic.mathdoc.fr/item/CM_1973__26_3_261_0/