| 2008 |
|---|
| 11 | EE | Fernando Ferreira,
Gilda Ferreira:
Harrington's conservation theorem redone.
Arch. Math. Log. 47(2): 91-100 (2008) |
| 10 | | Fernando Ferreira,
Gilda Ferreira:
The Riemann Integral in Weak Systems of Analysis.
J. UCS 14(6): 908-937 (2008) |
| 2007 |
|---|
| 9 | EE | Fernando Ferreira,
Paulo Oliva:
Bounded functional interpretation and feasible analysis.
Ann. Pure Appl. Logic 145(2): 115-129 (2007) |
| 2006 |
|---|
| 8 | EE | Fernando Ferreira,
Gilda Ferreira:
Counting as integration in feasible analysis.
Math. Log. Q. 52(3): 315-320 (2006) |
| 2005 |
|---|
| 7 | EE | Fernando Ferreira,
Paulo Oliva:
Bounded functional interpretation.
Ann. Pure Appl. Logic 135(1-3): 73-112 (2005) |
| 2002 |
|---|
| 6 | | António M. Fernandes,
Fernando Ferreira:
Groundwork for Weak Analysis.
J. Symb. Log. 67(2): 557-578 (2002) |
| 1999 |
|---|
| 5 | | Fernando Ferreira:
Two General Results on lntuitionistic Bounded Theories.
Math. Log. Q. 45: 399-407 (1999) |
| 1998 |
|---|
| 4 | | Fernando Ferreira,
António Marques:
Extracting Algorithms from Intuitionistic Proofs.
Math. Log. Q. 44: 143-160 (1998) |
| 1996 |
|---|
| 3 | | Fernando Ferreira:
On End-Extensions of Models of ¬exp.
Math. Log. Q. 42: 1-18 (1996) |
| 1995 |
|---|
| 2 | | Fernando Ferreira:
What are the forall Sigmab1-Consequences of T12 and T22?
Ann. Pure Appl. Logic 75(1-2): 79-88 (1995) |
| 1994 |
|---|
| 1 | | Fernando Ferreira:
A Feasible Theory for Analysis.
J. Symb. Log. 59(3): 1001-1011 (1994) |
