Ana Lêda de Araújo

2012 - 2013

Pós-Doutorado. , Institut Jean Nicod, IJN, França. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Humanas, Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia analítica. , Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

2005 - 2007

Pós-Doutorado. , Université Libre de Bruxelles, ULB, Bélgica. , Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. , Grande área: Ciências Humanas, Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Inglês

Compreende Razoavelmente, Fala Pouco, Lê Bem, Escreve Razoavelmente.

Espanhol

Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.

Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Teoria da Computabilidade.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Filosofia da Linguagem.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: Epistemologia.

Grande área: Ciências Humanas / Área: Filosofia / Subárea: História da Filosofia.

ARAÚJO, Ana Lêda de ; MATOS, Dídimo ; QUEIRÓZ, Giovanni da Silva de . II Seminário Newton da Costa. 2011. (Congresso).

III Congresso Brasileiro de Filosofia da Libertação. Linguagem e cultura dos índios Pirahãs. 2015. (Congresso).

XVII Congresso Interamericano de Filosofia. Recursividade: a chave da criatividade linguística e da comunicação. 2013. (Congresso).

I Encontro de Filosofia do Centro de Formação da UFCG.Filosofia e linguagem. 2012. (Encontro).

II Congresso da Sociedade Brasielria de Filosofia Analítica. Novas perspectivas para o programa normativo da cooperação e da comunicação de Grice. 2012. (Congresso).

II Congresso da Sociedade Brasielria de Filosofia Analítica. Novas perspectivas para o programa normativo da cooperação e da comunicação de Grice. 2012. (Congresso).

II Encontro do Grupo de Pesquisa (CNPq) LoCiA - Lógica, Ciência e Análise Filosófica.Lógica Ilocucionária e filosofia da linguagem. 2012. (Encontro).

VIIII Encontro Interinstitucional de Filosofia UFPB/UFPE/UFRN.Mesa redonda: Sobre a raciionalidade. 2012. (Encontro).

I Encontro do Grupo de Pesquisa (CNPq) LoCia - Lógica, Ciência e Análise Filosófica.Aplicações da Lógica à Filosofia da Linguagem. 2011. (Encontro).

I Congresso da Sociedade Brasileira de Filosofia Analítica. Uma proposta de reformulação para as definições griceanas de significação não natural e de comunicação. 2010. (Congresso).

XIV Encontro Nacional de Filosofia da ANPOF.O Programa Griceano da comunicação: Perspectivas e Limitações. 2010. (Encontro).

Mesa Redonda - Lógica clássica: Princípios, Paradoxos, Recursão.Os paradoxos da implicação material na Lógica Clássica. 2009. (Outra).

XXI Colóquio de Filosofia / V Colóquio de Filosofia da Linguagem: Argumentação e Pragmática. Reformulação da máxima de relevância: uma contribuição ao programa griceano de comunicação. 2009. (Congresso).

XIII Econtro Nacional de Filosofia - ANPOF.Significação não-literal e comunicação. 2008. (Encontro).

Colloque international en argumentation: crises rhétoriques er crises démocratiques. 2007. (Congresso).

Seminar Logic, Language and Reasoning. 2007. (Seminário).

Colloque Roland Barthes. 2006. (Congresso).

Journée d?étude internationale : « structures argumentatives/ types d?arguments ». 2006. (Encontro).

Journée d?études / Communications.Cognition et communication. 2006. (Encontro).

Journées d?études en argumentation ? Argumentation et narration.Signification non-naturelle et communication. 2006. (Encontro).

séminaire de philosophie des sciences formelles et des sciences de la nature. 2006. (Seminário).

Seminário : Langage, action, contexte. 2006. (Seminário).

Seminários interuniversitarios de lógica matemática. 2006. (Seminário).

Simposium on Extended Cognition. 2006. (Simpósio).

Workshop Utterance Interpretation and Cognitive Models. 2006. (Encontro).

Monotonicity, Language and Cognition. 2005. (Encontro).

Sciences du Langage et Sciences de l?Homme. 2005. (Congresso).

Seminários promovidos pela « Ecole Doctorale Théorie du Langage et de l?esprit » ? Universite Libre De Bruxelles. 2005. (Seminário).

Set Theory in the third Millenium. 2005. (Encontro).

Truth Public Space - The Belgian Science Policy and The Institute of Philosophy UCL. 2005. (Congresso).

ARAÚJO, Ana Lêda de; VIEIRA, Antonio Rufino; PORTO, M. V. P.. Os modos de subjtivação do individuo através da sexualidade, segundo Foucault. 2017. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; DIAS, Matias Francisco; FERRAZ JUNIOR, E.; FERREIRA, R. C.. Semiose: o interpretante e a inferência de Charles Sanders Peirce. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

DIAS, Matias Francisco;ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro; FERREIRA, R. C.. Funções parciais recursivas e funções parcialmente Turing-computaveis: uma prova de equivalência. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

DIAS, Matias Francisco;ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro; VIEIRA, A. A. N.. Funções recursivas primitivas: caracterização e alguns resultados para esta classe de funções. 2016. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro; VIEIRA, A. A. N.. A dificuldade de se pensar a multiplicidade em Aristoteles a partir das compreensões de Jan Lukasiewiscz e Enrico Berti sobre a contradição e o principio da não-contradição. 2015. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

QUEIRÓZ, Giovanni da Silva de; MEDEIROS, Maria da Paz Nunes de;ARAÚJO, Ana Lêda de. Da Lógica Paraconsistente à Quase-verdade: um exame de dois trabalhos de Newton da Costa. 2012. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

QUEIRÓZ, Giovanni da Silva de; SANTOS, Ernesto Perini;ARAÚJO, Ana Lêda de. Em defesa do contextualismo moderado: por uma semântica sensível para adjetivos comparativos. 2011. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

QUEIRÓZ, Giovanni da Silva de;ARAÚJO, Ana Lêda de; CORDEIRO, D. D. P. A.. Semântica Proposicional Categórica. 2009. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

QUEIRÓZ, Giovanni da Silva de; ALVES, Daniel D. P.;ARAÚJO, Ana Lêda de. A partir da causalidade em Davidson: uma discussão acerca dos relata e leis da natureza. 2007. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro; DIAS, Matias Francisco. Alfred Tarski e o conceito de verdade em línguas formalizadas. 2004. Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de. Filosofia para crianças. 2002. Dissertação (Mestrado em Educação) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; QUEIRÓZ, Giovanni da Silva de; MOURA, José Eduardo de Almeida. Sobre as refurações sofísticas. 2001. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; LECLERC, André; CRUZ, Ângela Maria Paiva da. Crenças, desejos, intenções: a consciência como noção mentalista central - uma abordagem searleana. 2001. Dissertação (Mestrado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.

QUEIRÓZ, Giovanni da Silva de;ARAÚJO, Ana Lêda de; SANTOS, M. L. M.; BRAIDA, C. R.; CASTRO, R. J.. Semântica I - Questões fundacionais. 2014. Tese (Doutorado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.

QUEIRÓZ, Giovanni da Silva de;ARAÚJO, Ana Lêda de; LEITE, F. T.; SILVA, L. N.; CATAO, M. O.. Interpretação deôntica e difusa das normas jurídicas. 2014. Tese (Doutorado em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.

QUEIRÓZ, Giovanni da Silva de;ARAÚJO, Ana Lêda de; SANTOS, M. L. M.. Semântica I - Questões fundacionais. 2014. Exame de qualificação (Doutorando em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.

QUEIRÓZ, Giovanni da Silva de;ARAÚJO, Ana Lêda de; LEITE, F. T.. Interpretação deôntica e difusa das normas jurídicas. 2014. Exame de qualificação (Doutorando em Filosofia (Ufpe-Ufpb-Ufrn)) - Universidade Federal da Paraíba.

DIAS, Matias Francisco;ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro; VIEIRA, A. A. N.. Funções recursivas primitivas: caracterização e alguns resultados para a classe de funções. 2016. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal da Paraíba.

DIAS, Matias Francisco;ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro; VIEIRA, A. A. N.. Teorema de Rice e o problemq de decisão para o conjunto das funções parciais recursivas. 2016. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; DIAS, Matias Francisco; FERRAZ JUNIOR, E.. Semiose: o interpretante de Charles Sanders Peirce. 2016. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; SARMENTO, Garibaldi Monteiro; VIEIRA, A. A. N.. Um estudo sobre o principio da não-contradição. 2015. Exame de qualificação (Mestrando em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; LECLERC, André; VALLÉE, Richard. de Lyra Netto. A lógica de primeira ordem e a teoria da implicatura conversacional. 1997. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização Em Lógica Contemporânea) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; DIAS, Matias Francisco; QUEIRÓZ, Giovanni da Silva de. A tese de Church. 1997. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização Em Lógica Contemporânea) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; SANTOS, Gutemberg Pessoa R dos; LUCENA, Maria Vilma Fernandes de. Análise das noções elementares de Lógica e do método axiomático. 1997. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização Em Lógica Contemporânea) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; QUEIRÓZ, Giovanni da Silva de; VALLÉE, Richard. O intuicionismo lógico segundo Dummett. 1997. Monografia (Aperfeiçoamento/Especialização em Curso de Especialização Em Lógica Contemporânea) - Universidade Federal da Paraíba.

MELO, C. J. S.;ARAÚJO, Ana Lêda de; DURMAIER, A. T. M. C.; LUCENA, D. C. G.. Da noção de força ilocucionaria no âmbito da Teoria dos atos de discurso. 2016. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.

MELO, C. S.;ARAÚJO, Ana Lêda de; DURMAIER, A. T. M. C.. Metafísica da Lógica: sobre o Realismo e o Realismo Estrutural. 2015. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; QUEIRÓZ, Giovanni da Silva de; SARMENTO, Garibaldi Monteiro. O instigante do segundo Wittgenstein. 2004. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; QUEIRÓZ, Giovanni da Silva de; LUCENA, Maria Vilma Fernandes de. Notas sobre alguns sistemas proposicionais. 2003. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; SILVA, Marcelo Augusto Veloso da; MAIA, Elizabeth. O pensamento filosófico: uma propriedade masculina?. 2002. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; QUEIRÓZ, Giovanni da Silva de; LECLERC, André. Lógica paraconsistente e intuicionista: estudo sobre CC. 2001. Trabalho de Conclusão de Curso (Graduação em Filosofia) - Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; QUEIRÓZ, Giovanni da Silva de; LECLERC, André. Para quem comprovou a verdade : o pensamento de Richard Rorty. 2003. Outra participação, Universidade Federal da Paraíba.

VIEIRA, Antonio Rufino;ARAÚJO, Ana Lêda de; D'OTTAVIANO, Itala M. L.; COSTA, Claudio Ferreira. Membro da Comissão Especial de avaliação para Professor Titular do docente Angela Maria Paiva Cruz (Dept. Filosofia/UFRN. 2015. Universidade Federal do Rio Grande do Norte.

SIDEKUM, Antonio;ARAÚJO, Ana Lêda de; VIEIRA, Antonio Rufino. Membro da Comissão Especial de avaliação para Professor Titular do docente Enildo Marinho Guedes (Dept. Filosofia/UFAL). 2015. Universidade Federal de Alagoas.

ARAÚJO, Ana Lêda de; CAMINHA, Iraquitam; FONTES, Narbal M.; CAVALCANTE, F. A. V.. Presidente da Comissão de seleção do Mestrado em Filosofia - Per. 2015.2. 2015. Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; SILVESTRE, Ricardo S.; OLIVEIRA, E. A. M.. Presidente da Banca examinadora do Concurso Público para professor de 3° grau, na área de Epistemologia. 2014. Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; DIAS, Matias Francisco; QUEIRÓZ, Giovanni da Silva de. Membro da Comissão de seleção do Mestrado em Filosofia, na linha de pesquisa Lógica e Epistemologia. 2014. Universidade Federal da Paraíba.

SILVESTRE, Ricardo S.;ARAÚJO, Ana Lêda de; QUEIRÓZ, Giovanni da Silva de. Membro da Banca de Concurso público para Professor Adjunto de Filosofia. 2012. Universidade Estadual da Paraíba.

DIONISIO NETO, Manoel; FONTES, Narbal M.;ARAÚJO, Ana Lêda de. Membro da Banca de Concurso público para Professor Assistente de Filosofia - UFCG - campus Cajazeiras. 2011. Universidade Federal de Campina Grande.

SILVA, A. G.; DIAS, Matias Francisco;ARAÚJO, Ana Lêda de. Concurso público para Professor Adjunto I - área de Lógica. 2009. Universidade Federal de Campina Grande.

ARAÚJO, Ana Lêda de; CRUZ, Ângela Maria Paiva; MEDEIROS, Maria da Paz Nunes de. Membro da Comissão para Concurso Público para Professor Adjunto em Lógica e Epistemologia. 2004. Universidade Federal do Rio Grande do Norte.

ARAÚJO, Ana Lêda de; LECLERC, André; AZEVEDO, Edmilson Alves de; CAMINHA, Iraquitam. Membro da Comissão de Seleção para ingresso no Programa de Pós-graduação em Filosofia. 2004. Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; ASSIS NETO, Fernando Raul de; CRUZ, Ângela Maria Paiva. Membro da Comissão para o Concurso Público para professor Adjunto em Lógica e Epistemologia. 2002. Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de. Membro da Comissão de seleção do Programa de Pós-graduação em Filosofia. 2001. Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; LIMA, Roberto de; PORTELA, Raimundo Nonato. Membro da Comissão para o Concurso Público para professor auxiliar, na área de Lógica. 1997. Universidade Federal do Maranhão.

ARAÚJO, Ana Lêda de; SANTOS, Gutemberg Pessoa R dos; QUEIRÓZ, Giovanni da Silva de. Membro da Comissão de seleção dos candidatos ao Curso de Especialização em Lógica Contemporânea. 1997. Universidade Federal da Paraíba.

ARAÚJO, Ana Lêda de; DIAS, Matias Francisco; LUCENA, Maria Vilma Fernandes de. Membro da Comissão de seleção de candidatos ao Mestrado em Filosofia, na área de Lógica. 1992. Universidade Federal da Paraíba.

AZEVEDO, Edmilson Alves de;ARAÚJO, Ana Lêda de; SILVA, B. L.. Membro da Comissão de Seleção para ingresso no Mestrado em Filosofia da UFPB. 2010. Universidade Federal da Paraíba.

Consequências filosoficas da incompletude de Godel para os fundamentos da matematica; Início: 2017; Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba; (Orientador);

Os modos de subjtivação do individuo através da sexualidade, segundo Foucault; 2017; Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba,; Orientador: Ana Lêda de Araújo;

Semiose: o interpretante e a inferência de Charles Sanders Peirce; 2016; Dissertação (Mestrado em Filosofia) - Universidade Federal da Paraíba, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Ana Lêda de Araújo;

Equivalência entre os sistemas proposicionais clássicos de Mendelson e de Kleene; 1997; 50 f; Monografia; (Aperfeiçoamento/Especialização em Curso de Especialização Em Lógica Contemporânea) - Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

Teoria das funções recursivas; 2005; 45 f; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

O problema de Post na teoria da m-redutibilidade; 2004; 30 f; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

Equivalência entre duas versões formais da noção de função algorítmica; 2003; 35 f; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Duas versões formais para a noção de função algorítmica; 2002; 40 f; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Máquina de Turing; 2002; 35 f; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Uma versão formal para a noção intuitiva de função algorítmica; 2001; 35 f; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

Teoremas básicos; 1990; 120 f; Trabalho de Conclusão de Curso; (Graduação em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Lógica moderna: aplicações à silogística; 1993; 100 f; Iniciação Científica; (Graduando em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Lógica moderna: aplicações à silogística; 1993; 100 f; Iniciação Científica; (Graduando em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Lógica moderna: aplicações à silogística; 1993; 100 f; Iniciação Científica; (Graduando em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Tópicos fundamentais de lógica clássica; 1992; 30 f; Iniciação Científica; (Graduando em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Tópicos fundamentais de lógica clássica; 1990; 120 f; Iniciação Científica; (Graduando em Filosofia) - Universidade Federal da Paraíba, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lêda de Araújo;

Tópicos Fundamentais de Lógica; 2010; Orientação de outra natureza; (Filosofia) - Universidade Federal da Paraíba, Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

Tópicos Fundamentais de Lógica; 2010; Orientação de outra natureza; (Filosofia) - Universidade Federal da Paraíba, Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

Tópicos Fundamentais de Lógica; 2010; Orientação de outra natureza; (Filosofia) - Universidade Federal da Paraíba, Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

Tópicos Fundamentais de Lógica; 2010; Orientação de outra natureza; (Filosofia) - Universidade Federal da Paraíba, Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

Tópicos fundamentais de lógica clássica; 2001; 40 f; Orientação de outra natureza - Universidade Federal da Paraíba, Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

Tópicos fundamentais de lógica clássica; 2001; 50 f; Orientação de outra natureza - Universidade Federal da Paraíba, Universidade Federal da Paraíba; Orientador: Ana Lêda de Araújo;

ARAÚJO, Ana Lêda de . Avaliador externo ad hoc de Projetos de Iniciação Cientifica do Programa PIBIC/UERN, edição 2015-2016. 2015.

ARAÚJO, Ana Lêda de . Parecerista ad hoc para Processo de renovação no Projeto CAPES/COFECUB ? Edital Nº 021/2013. 2015.

ARAÚJO, Ana Lêda de . Parecerista ad hoc para Processo no Projeto CAPES/COFECUB ? Edital  Nº16/2015. 2015.

ARAÚJO, Ana Lêda de . Relatorio de conclusão de Estagio Senior 2012-2013. 2014. (Relatório de pesquisa).

ARAÚJO, Ana Lêda de . Mini curso: Lógica Paraconsistente - II Seminário Newton da Costa. 2011. (Curso de curta duração ministrado/Outra).