Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



21
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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
22
TÍTULO: The Faithfulness of Fat: A Proof-Theoretic Proof
AUTORES: Ferreira, F ; Ferreira, G;
PUBLICAÇÃO: 2015, FONTE: Studia Logica, VOLUME: 103, NÚMERO: 6
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
23
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
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: The Finitistic Consistency of Heck’s Predicative Fregean System
AUTORES: Luís Cruz-Filipe; Fernando Ferreira ;
PUBLICAÇÃO: 2015, FONTE: Notre Dame J. Formal Logic - Notre Dame Journal of Formal Logic, VOLUME: 56, NÚMERO: 1
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
25
TÍTULO: A NEW COMPUTATION OF THE Sigma-ORDINAL OF KP omega
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 79, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
26
TÍTULO: A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω
AUTORES: FERNANDO FERREIRA ;
PUBLICAÇÃO: 2014, FONTE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 79, NÚMERO: 01
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
27
TÍTULO: Computability in Europe 2010
AUTORES: Alessandra Carbone; Fernando Ferreira ; Benedikt Löwe; Elvira Mayordomo;
PUBLICAÇÃO: 2014, FONTE: Journal of Logic and Computation - J Logic Computation, VOLUME: 25, NÚMERO: 4
INDEXADO EM: CrossRef
NO MEU: CIÊNCIAVITAE
28
TÍTULO: ATOMIC POLYMORPHISM
AUTORES: Fernando Ferreira ; Gilda Ferreira ;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 78, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
29
TÍTULO: INTERPRETABILITY IN ROBINSON'S Q
AUTORES: Fernando Ferreira ; Gilda Ferreira;
PUBLICAÇÃO: 2013, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 19, NÚMERO: 3
INDEXADO EM: WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
30
TÍTULO: Logicismo
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2013, FONTE: Compêndio em Linha de Problemas de Filosofia Analítica
INDEXADO EM: CrossRef
NO MEU: CIÊNCIAVITAE
Página 3 de 8. Total de resultados: 75.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service