Jaime da Gama Gaspar


AuthID: R-00H-T0S

Publicações Confirmadas: 14



11
TÍTULO: Negative Translations Not Intuitionistically Equivalent to the Usual Ones  Full Text
AUTORES: Gaspar, J ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
12
TÍTULO: On Tao's "finitary" infinite pigeonhole principle
AUTORES: Jaime Gaspar ; Ulrich Kohlenbach;
PUBLICAÇÃO: 2010, FONTE: J. Symb. Log., VOLUME: 75, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
13
TÍTULO: Proof interpretations with truth  Full Text
AUTORES: Gaspar, J ; Oliva, P;
PUBLICAÇÃO: 2010, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
14
TÍTULO: Factorization of the Shoenfield-like Bounded Functional Interpretation
AUTORES: Gaspar, J ;
PUBLICAÇÃO: 2009, FONTE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 50, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 2 de 2. Total de resultados: 14.

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