Publié le : 1977-10-14
Classification:
02E05,
02C15
@article{1093888122,
author = {Mainzer, Klaus},
title = {Is the intuitionistic bar-induction a constructive principle?},
journal = {Notre Dame J. Formal Logic},
volume = {18},
number = {1},
year = {1977},
pages = { 583-588},
language = {en},
url = {http://dml.mathdoc.fr/item/1093888122}
}
Mainzer, Klaus. Is the intuitionistic bar-induction a constructive principle?. Notre Dame J. Formal Logic, Tome 18 (1977) no. 1, pp. 583-588. http://gdmltest.u-ga.fr/item/1093888122/