Mostrando 1943 resultados

Descrição arquivística
Opções de pesquisa avançada
Visualizar impressão Visualizar:

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

Resultados 851 até 860 de 1943