Geodesic
Infinite terms and a system of natural deduction
Compositio Mathematica, Tome 24 (1972) no. 1, pp. 93-103

Voir la notice de l'article provenant de la source Numdam

@article{CM_1972__24_1_93_0,
     author = {Martin-L\"of, Per},
     title = {Infinite terms and a system of natural deduction},
     journal = {Compositio Mathematica},
     pages = {93--103},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {24},
     number = {1},
     year = {1972},
     mrnumber = {300860},
     zbl = {0237.02006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CM_1972__24_1_93_0/}
}
TY  - JOUR
AU  - Martin-Löf, Per
TI  - Infinite terms and a system of natural deduction
JO  - Compositio Mathematica
PY  - 1972
SP  - 93
EP  - 103
VL  - 24
IS  - 1
PB  - Wolters-Noordhoff Publishing
UR  - http://geodesic.mathdoc.fr/item/CM_1972__24_1_93_0/
LA  - en
ID  - CM_1972__24_1_93_0
ER  - 
%0 Journal Article
%A Martin-Löf, Per
%T Infinite terms and a system of natural deduction
%J Compositio Mathematica
%D 1972
%P 93-103
%V 24
%N 1
%I Wolters-Noordhoff Publishing
%U http://geodesic.mathdoc.fr/item/CM_1972__24_1_93_0/
%G en
%F CM_1972__24_1_93_0
Martin-Löf, Per. Infinite terms and a system of natural deduction. Compositio Mathematica, Tome 24 (1972) no. 1, pp. 93-103. http://geodesic.mathdoc.fr/item/CM_1972__24_1_93_0/