- BR SPCLEARQ AIA-AA-2
- Item
- 1970-05-20
Parte de Ayda Ignez Arruda
Relatório de Atividades de AIA referente ao ano de 1969. Ass.: Ayda Ignez Arruda
Ayda Ignez Arruda
290 resultados diretamente relacionados Excluir termos específicos
Parte de Ayda Ignez Arruda
Relatório de Atividades de AIA referente ao ano de 1969. Ass.: Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Relatório de Atividades de AIA abrangendo o período de 06/1977 a 06/1979. Ass.: Ayda Ignez Arruda; Ubiratan D'Ambrósio, diretor do IMECC.
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Relatório de Atividades de AIA abrangendo o período de 31/05/1981 a 30/05/1983. Ass.: Ayda I. Arruda
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 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
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
ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)
Ayda Ignez Arruda