Fernando Ferreira

	2009
13		Fernando Ferreira: Injecting uniformities into Peano arithmetic. Ann. Pure Appl. Logic 157(2-3): 122-129 (2009)
12		Fernando Ferreira, Gilda Ferreira: Commuting Conversions vs. the Standard Conversions of the "Good" Connectives. Studia Logica 92(1): 63-84 (2009)
	2008
11		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		Fernando Ferreira, Paulo Oliva: Bounded functional interpretation and feasible analysis. Ann. Pure Appl. Logic 145(2): 115-129 (2007)
	2006
8		Fernando Ferreira, Gilda Ferreira: Counting as integration in feasible analysis. Math. Log. Q. 52(3): 315-320 (2006)
	2005
7		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] [12]
3	António Marques	[4]
4	Paulo Oliva	[7] [9]

Colors in the list of coauthors