Fernando Ferreira

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)

Coauthor Index

1	António M. Fernandes	[6]
2	Gilda Ferreira	[8] [10] [11]
3	António Marques	[4]
4	Paulo Oliva	[7] [9]

Colors in the list of coauthors