Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 75



51
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 | CIÊNCIAVITAE
52
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 | CIÊNCIAVITAE
53
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 | CIÊNCIAVITAE
54
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 | CIÊNCIAVITAE
55
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 | CIÊNCIAVITAE
56
TÍTULO: Amending Frege’s Grundgesetze der Arithmetik  Full Text
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2005, FONTE: Synthese, VOLUME: 147, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
57
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 | CIÊNCIAVITAE
58
TÍTULO: Comments on Predicative Logic  Full Text
AUTORES: Fernando Ferreira ;
PUBLICAÇÃO: 2005, FONTE: J Philos Logic - Journal of Philosophical Logic, VOLUME: 35, NÚMERO: 1
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
59
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 | CIÊNCIAVITAE
60
TÍTULO: On the Consistency of the Δ1 1-CA Fragment of Frege's Grundgesetze  Full Text
AUTORES: Fernando Ferreira ; Kai F Wehmeier;
PUBLICAÇÃO: 2002, FONTE: Journal of Philosophical Logic, VOLUME: 31, NÚMERO: 4
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 6 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