Continuity and comprehension in intuitionistic formal systems.
Beeson, Michael J.
Pacific J. Math., Tome 73 (1977) no. 2, p. 29-40 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
Publié le : 1977-05-14
Classification:  02E05 
@article{1102817361,
     author = {Beeson, Michael J.},
     title = {Continuity and comprehension in intuitionistic formal systems.},
     journal = {Pacific J. Math.},
     volume = {73},
     number = {2},
     year = {1977},
     pages = { 29-40},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1102817361}
}

Beeson, Michael J. Continuity and comprehension in intuitionistic formal systems.. Pacific J. Math., Tome 73 (1977) no. 2, pp.  29-40. http://gdmltest.u-ga.fr/item/1102817361/