Fernando Jorge Inocêncio Ferreira
AuthID: R-000-4Z7
21
TÃTULO: On Some Semi-constructive Theories Related to Kripke–Platek Set Theory
AUTORES: Ferreira, F;
PUBLICAÇÃO: 2017, FONTE: Outstanding Contributions to Logic, VOLUME: 13
AUTORES: Ferreira, F;
PUBLICAÇÃO: 2017, FONTE: Outstanding Contributions to Logic, VOLUME: 13
22
TÃTULO: Categoricity and Mathematical Knowledge
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 2017, FONTE: Revista Portuguesa de Filosofia, VOLUME: 73, NÚMERO: 3-4
AUTORES: Fernando Ferreira;
PUBLICAÇÃO: 2017, FONTE: Revista Portuguesa de Filosofia, VOLUME: 73, NÚMERO: 3-4
23
TÃTULO: Basic applications of weak König's lemma in feasible analysis
AUTORES: António M Fernandes; Fernando Ferreira;
PUBLICAÇÃO: 2017, FONTE: Reverse Mathematics 2001
AUTORES: António M Fernandes; Fernando Ferreira;
PUBLICAÇÃO: 2017, FONTE: Reverse Mathematics 2001
24
TÃTULO: The Euler-Galerkin finite element method for a nonlocal coupled system of reaction-diffusion type
AUTORES: Jose C M Duque; Rui M P Almeida; Stanislav N Antontsev; Jorge Ferreira;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 296
AUTORES: Jose C M Duque; Rui M P Almeida; Stanislav N Antontsev; Jorge Ferreira;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, VOLUME: 296
25
TÃTULO: A reaction-diffusion model for the non-local coupled system: existence, uniqueness, long-time behaviour and localization properties of solutions
AUTORES: Rui M P Almeida; Stanislav N Antontsev; Jose C M Duque; Jorge Ferreira;
PUBLICAÇÃO: 2016, FONTE: IMA JOURNAL OF APPLIED MATHEMATICS, VOLUME: 81, NÚMERO: 2
AUTORES: Rui M P Almeida; Stanislav N Antontsev; Jose C M Duque; Jorge Ferreira;
PUBLICAÇÃO: 2016, FONTE: IMA JOURNAL OF APPLIED MATHEMATICS, VOLUME: 81, NÚMERO: 2
26
TÃTULO: An elementary proof of strong normalization for atomic F
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2016, FONTE: Bulletin of the Section of Logic, VOLUME: 45, NÚMERO: 1
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2016, FONTE: Bulletin of the Section of Logic, VOLUME: 45, NÚMERO: 1
27
TÃTULO: The Finitistic Consistency of Heck's Predicative Fregean System
AUTORES: Luis Cruz Filipe; Fernando Ferreira;
PUBLICAÇÃO: 2015, FONTE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, NÚMERO: 1
AUTORES: Luis Cruz Filipe; Fernando Ferreira;
PUBLICAÇÃO: 2015, FONTE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 56, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS
Scopus WOS NO MEU: 
ORCID
ORCID28
TÃTULO: Nonstandardness and the bounded functional interpretation Full Text
AUTORES: Ferreira, F; Gaspar, J ;
PUBLICAÇÃO: 2015, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, NÚMERO: 6
AUTORES: Ferreira, F; Gaspar, J ;
PUBLICAÇÃO: 2015, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, NÚMERO: 6
29
TÃTULO: The Faithfulness of F<inf>at</inf>: A Proof-Theoretic Proof Full Text
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
AUTORES: Ferreira, F; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
30
TÃTULO: Palaeoecological insights on Toarcian and lower Aalenian calcareous nannofossils from the Lusitanian Basin (Portugal) Full Text
AUTORES: Jorge Ferreira; Emanuela Mattioli; Bernard Pittet; Mario Cachao; Jorge E Spangenberg;
PUBLICAÇÃO: 2015, FONTE: PALAEOGEOGRAPHY PALAEOCLIMATOLOGY PALAEOECOLOGY, VOLUME: 436
AUTORES: Jorge Ferreira; Emanuela Mattioli; Bernard Pittet; Mario Cachao; Jorge E Spangenberg;
PUBLICAÇÃO: 2015, FONTE: PALAEOGEOGRAPHY PALAEOCLIMATOLOGY PALAEOECOLOGY, VOLUME: 436
