On the Interpretation of Intuitionistic Number Theory
Kleene, S. C.
J. Symbolic Logic, Tome 10 (1945) no. 1, p. 109-124 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1945-12-14
Classification:  
@article{1183391476,
     author = {Kleene, S. C.},
     title = {On the Interpretation of Intuitionistic Number Theory},
     journal = {J. Symbolic Logic},
     volume = {10},
     number = {1},
     year = {1945},
     pages = { 109-124},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183391476}
}

Kleene, S. C. On the Interpretation of Intuitionistic Number Theory. J. Symbolic Logic, Tome 10 (1945) no. 1, pp.  109-124. http://gdmltest.u-ga.fr/item/1183391476/