Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 27



11
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
12
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
13
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
14
TÍTULO: Bounded modified realizability
AUTORES: Ferreira, F ; Nunes, A;
PUBLICAÇÃO: 2006, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 71, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
15
TÍTULO: Comments on predicative logic (Propositional logic)  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2006, FONTE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 35, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID
16
TÍTULO: Counting as integration in feasible analysis  Full Text
AUTORES: Fernando Ferreira ; Gilda Ferreira ;
PUBLICAÇÃO: 2006, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 52, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
17
TÍTULO: A simple proof of Parsons' theorem
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2005, FONTE: Notre Dame Journal of Formal Logic, VOLUME: 46, NÚMERO: 1
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
18
TÍTULO: Amending Frege's Grundgesetze der Arithmetik - To the memory of Nhe (1925-2001)  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 2005, FONTE: SYNTHESE, VOLUME: 147, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID
19
TÍTULO: Bounded functional interpretation  Full Text
AUTORES: Ferreira, F ; Oliva, P;
PUBLICAÇÃO: 2005, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 135, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
20
TÍTULO: Groundwork for weak analysis
AUTORES: Fernandes, AM ; Ferreira, F ;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 67, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 2 de 3. Total de resultados: 27.

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

Links Úteis

Ajuda

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