Fernando Ferreira. A Feasible Theory for Analysis. Journal of Symbolic Logic, 59(3):1001-1011, 1994.
@article{Ferreira94,
title = {A Feasible Theory for Analysis},
author = {Fernando Ferreira},
year = {1994},
tags = {analysis},
researchr = {https://researchr.org/publication/Ferreira94},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {59},
number = {3},
pages = {1001-1011},
}