Functions provably total in $I^{-}Σ_{n}$

Adamowicz, Zofia; Bigorajska, Teresa

Functions provably total in

I^{-} Σ_{n}

Adamowicz, Zofia ; Bigorajska, Teresa

Fundamenta Mathematicae, Tome 132 (1989), p. 189-194 / Harvested from The Polish Digital Mathematics Library

Access to full text
Full (PDF)

Publié le : 1989-01-01

Zbl 0678.03019

EUDML-ID : urn:eudml:doc:211747

@article{bwmeta1.element.bwnjournal-article-fmv132i1p14bwm,
     author = {Zofia Adamowicz and Teresa Bigorajska},
     title = {Functions provably total in $I^{-}$\Sigma$\_{n}$
            },
     journal = {Fundamenta Mathematicae},
     volume = {132},
     year = {1989},
     pages = {189-194},
     zbl = {0678.03019},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv132i1p14bwm}
}

Adamowicz, Zofia; Bigorajska, Teresa. Functions provably total in $I^{-}Σ_{n}$
            . Fundamenta Mathematicae, Tome 132 (1989) pp. 189-194. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv132i1p14bwm/