Fernando Jorge Inocêncio Ferreira
AuthID: R-000-4Z7
61
TÃTULO: A FEASIBLE THEORY FOR ANALYSIS
AUTORES: FERREIRA, F;
PUBLICAÇÃO: 1994, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 59, NÚMERO: 3
AUTORES: FERREIRA, F;
PUBLICAÇÃO: 1994, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 59, NÚMERO: 3
INDEXADO EM: 
WOS
WOS NO MEU: 
ORCID
ORCID62
TÃTULO: Binary models generated by their tally part
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 1994, FONTE: Arch Math Logic - Archive for Mathematical Logic, VOLUME: 33, NÚMERO: 4
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 1994, FONTE: Arch Math Logic - Archive for Mathematical Logic, VOLUME: 33, NÚMERO: 4
63
TÃTULO: A feasible theory for analysis
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 1994, FONTE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 59, NÚMERO: 03
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 1994, FONTE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 59, NÚMERO: 03
64
TÃTULO: Polynomial time computable arithmetic
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 1990, FONTE: Logic and Computation - Contemporary Mathematics
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 1990, FONTE: Logic and Computation - Contemporary Mathematics
65
TÃTULO: Stockmeyer induction
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 1990, FONTE: Feasible Mathematics
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 1990, FONTE: Feasible Mathematics
