Fernando Jorge Inocêncio Ferreira


AuthID: R-000-4Z7

Publicações Confirmadas: 27



21
TÍTULO: On the consistency of the Δ1 1-CA fragment of Frege's Grundgesetze
AUTORES: Ferreira, F ; Wehmeier, K;
PUBLICAÇÃO: 2002, FONTE: Journal of Philosophical Logic, VOLUME: 31, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: ORCID
22
TÍTULO: A note on finiteness in the predicative foundations of arithmetic  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 1999, FONTE: JOURNAL OF PHILOSOPHICAL LOGIC, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
23
TÍTULO: Two general results on intuitionistic bounded theories  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 1999, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 45, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
24
TÍTULO: Extracting algorithms from intuitionistic proofs  Full Text
AUTORES: Ferreira, F ; Marques, A;
PUBLICAÇÃO: 1998, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 44, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
25
TÍTULO: On end-extensions of models of -exp
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 1996, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 42, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
26
TÍTULO: What are the ∀∑1 b-consequences of T2 1 and T2 2?  Full Text
AUTORES: Ferreira, F ;
PUBLICAÇÃO: 1995, FONTE: Annals of Pure and Applied Logic, VOLUME: 75, NÚMERO: 1-2
INDEXADO EM: Scopus
NO MEU: ORCID
27
TÍTULO: BINARY MODELS GENERATED BY THEIR TALLY PART
AUTORES: FERREIRA, F ;
PUBLICAÇÃO: 1994, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 33, NÚMERO: 4
INDEXADO EM: Scopus WOS
NO MEU: ORCID
Página 3 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