- BR SPCLEARQ AIA-AA-Fapesp-DJK-10
- Item
- 1979-12-03
Parte de Ayda Ignez Arruda
Relatório científico de AIA relativo à visita do professor Jerzy Kotas.
Ayda Ignez Arruda
1943 resultados diretamente relacionados Excluir termos específicos
Parte de Ayda Ignez Arruda
Relatório científico de AIA relativo à visita do professor Jerzy Kotas.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Joaquim da Costa Ribeiro 23-11
Análise de água, elaborada por JCR, procedência Terezópolis avaliando a caracterização e composição físico-química da mesma. S.l. 09.02.1954. Ass.: ( __ ) 2p. (impr.dat.c/tb)
Parte de Ayda Ignez Arruda
Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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
Parte de Ayda Ignez Arruda
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