Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



41
TÍTULO: THE BOUNDED FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
AUTORES: Patricia Engracia; Fernando Ferreira ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 75, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
42
TÍTULO: The bounded functional interpretation of the double negation shift
AUTORES: Engrácia Patrícia; Fernando Ferreira ;
PUBLICAÇÃO: 2010, FONTE: The Journal of Symbolic Logic - J. symb. log., VOLUME: 75, NÚMERO: 02
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
43
TÍTULO: Commuting conversions vs. the standard conversions of the "good" connectives  Full Text
AUTORES: Ferreira, F ; Ferreira, G ;
PUBLICAÇÃO: 2009, FONTE: Studia Logica, VOLUME: 92, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
44
TÍTULO: Injecting uniformities into Peano arithmetic  Full Text
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2009, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 157, NÚMERO: 2-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
45
TÍTULO: A Most Artistic Package of a Jumble of Ideas. A Most Artistic Package of a Jumble of Ideas  Full Text
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2008, FONTE: Dialectica, VOLUME: 62, NÚMERO: 2
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
46
TÍTULO: A most artistic package of a jumble of ideas (Kurt Godel)
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2008, FONTE: DIALECTICA, VOLUME: 62, NÚMERO: 2
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
47
TÍTULO: Harrington's conservation theorem redone  Full Text
AUTORES: Fernando Ferreira ; Gilda Ferreira ;
PUBLICAÇÃO: 2008, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 47, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
48
TÍTULO: The Co-ordination Principles: A Problem for Bilateralism  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2008, FONTE: MIND, VOLUME: 117, NÚMERO: 468
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
49
TÍTULO: The Riemann integral in weak systems of analysis
AUTORES: Fernando Ferreira ; Gilda Ferreira ;
PUBLICAÇÃO: 2008, FONTE: 4th International Conference on Computability and Complexity in Analysis in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 6
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
50
TÍTULO: Bounded functional interpretation and feasible analysis  Full Text
AUTORES: Fernando Ferreira ; Paulo Oliva;
PUBLICAÇÃO: 2007, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 145, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 5 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