Textual

Taxonomia

Código

Nota(s) de âmbito

Nota(s) de fonte(s)

Nota(s) de exibição

Termos hierárquicos

Textual

Termos equivalentes

Textual

Termos associados

Textual

1943 Descrição arquivística resultados para Textual

Crescente

1943 resultados diretamente relacionados Excluir termos específicos

Recibo de pagamento

Recibo da Sociedade Brasileira de Lógica referente ao pagamento da anuidade de AIA. Ass.: Antonio Mário Antunes Sette

Recibo de pagamento

Recibo de Luiz Paulo de Alcântara declarando ter recebido de AIA doze mil cruzeiros referentes ao auxilio viagem para estadia na Universidade Católica do Chile durante os meses dez. 1977 e jan. 1978 para participar nos seminários do projeto de pesquisa Teoria de Modelos e Aplicações. Ass.: Luiz Paulo de Alcântara

Ayda Ignez Arruda

Recibo de pagamento

Recibo do CNPq emitido por Oswaldo Chateaubriand a AIA referente ao pagamento de ajuda de custa pela participação no Ciclo de Palestras de Professores e Pesquisadores, realizado na Pontifícia Universidade Católica-RJ. Ass.: Ayda Ignez Arruda

Ayda Ignez Arruda

[Relação de membros]

Relação de membros da Diretoria e Conselho Fiscal, sendo Astrojildo Pereira o Primeiro Secretário.

Astrojildo Pereira

Relação de Membros

Relação dos membros da Sociedade Brasileira de Lógica com seus respectivos endereços

Relação de Membros

Relação dos membros da Sociedade Brasileira de Lógica com seus respectivos endereços

Relatório

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

Ayda Ignez Arruda

Relatório

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

Relatório

ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

Ayda Ignez Arruda

Exibindo 851-860 de 1943 resultados

  • Resultados

  • 1943

  • Sem termos específicos

  • 0