Mostrando 652 resultados

Descrição arquivística
Ayda Ignez Arruda Item
Visualizar impressão Visualizar:

Formulário de solicitação

Formulário de pedido de auxílios Fapesp preenchido por Newton da Costa para projeto de pesquisa intitulado Teoria dos Modelos e Aplicações a ser desenvolvido na Unicamp, Usp e Universidade Católica do Chile.

Ayda Ignez Arruda

Formulário de solicitação

Formulário de pedido de auxílios Fapesp preenchido por AIA solicitando recursos para o III Simpósio Latino-Americano de Lógica Matemática.

Ayda Ignez Arruda

Guia histórico

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas, bicentenário é turismo. Departamento de Turismo: Campinas, 1974. 24p.

Ayda Ignez Arruda

Informativo

BRAZILIAN Conference on Mathematical Logic, 3, 1979. Recife. Proceedings of the Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica, 1980. 1p

Ayda Ignez Arruda

Informe

Informe de Paul Weingartner, presidente do comitê organizador local, aceitando artigo para a publicação nos anais do congresso.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Informe de apoio

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.

Ayda Ignez Arruda

Resultados 301 até 310 de 652