Mostrando 715 resultados

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

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

Relatório

Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.

Ayda Ignez Arruda

Relatório

Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.

Ayda Ignez Arruda

Relatório

Relatório de Joseph Donald Sneed sobre sua visita ao CLE-Unicamp durante agosto e setembro de 1979, descrevendo suas atividades científicas e docentes. S.l. S.d. S.ass. 2p. dat.

Ayda Ignez Arruda

Relatório

ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

Relatório

DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

Ayda Ignez Arruda

Resultados 581 até 590 de 715