Mostrando 1 resultados

Descrição arquivística
Visualizar impressão
Visualização em ficha Visualização em tabela
1796 resultados com objetos digitais Exibir resultados com objetos digitais
Further considerations on the Postulate of Separation
BR SPCLEARQ FAIA-Impr-IT498 · Item · 1968
Parte de Ayda Ignez Arruda
ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968]. Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
BR SPCLEARQ FAIA-Impr-IT503 · Item · 1964-06-29
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964. Ayda Ignez Arruda
Transformadas no Cálculo Restrito de Predicados
BR SPCLEARQ FAIA-Impr-IT505 · Item · 1966-12,
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966. Ayda Ignez Arruda
Une sémantique pour le calcul C1=. C.R
BR SPCLEARQ FAIA-Impr-IT506 · Item · 1977-01-31
Parte de Ayda Ignez Arruda
ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977. Ayda Ignez Arruda
Boletim Informativo
BR SPCLEARQ FAIA-Impr-IT511 · Item · 1981-11-02
Parte de Ayda Ignez Arruda
BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.198, 02 nov. 1981. Ayda Ignez Arruda
Boletim Informativo
BR SPCLEARQ FAIA-Impr-IT517 · Item · 1981-12-27
Parte de Ayda Ignez Arruda
BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, 27 dez. 1981. Ayda Ignez Arruda
Boolean Powers in algebric logic
BR SPCLEARQ FAIA-Impr-IT527 · Item · 1971
Parte de Ayda Ignez Arruda
DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971. Ayda Ignez Arruda
O que é o Impa?
BR SPCLEARQ FAIA-Impr-IT550 · Item · 1960-02
Parte de Ayda Ignez Arruda
NACHBIN, Leopoldo. O que é o Impa? Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 3, n. 1, p. 1-12, fev. 1960. Ayda Ignez Arruda
Curriculum vitae de Lech Dubikajtis
BR SPCLEARQ FAIA-CV-IT572 · Item · 1979-11-10
Parte de Ayda Ignez Arruda
Curriculum vitae, em inglês, de Lech Dubikajtis. Katowice, 10 nov. 1979. Ass.: Lech Dubikajtis. 2p. dat. cópia. Ayda Ignez Arruda
Curriculum vitae de Jerzy Kotas
BR SPCLEARQ FAIA-CV-IT574 · Item · 1975-11-24
Parte de Ayda Ignez Arruda
Curriculum vitae, em inglês de Jerzy Kotas. Torún, 24 nov. 1975. Ass.: J. Kotas. 2p. dat. cópia Ayda Ignez Arruda
Reportagem
BR SPCLEARQ FAIA-H-IT594 · Item · [1981]/11/01
Parte de Ayda Ignez Arruda
A nota da comunidade. S.l.: s.n., 1 nov. [1981?]. 3. caderno, Educação, p.23. Ayda Ignez Arruda
Reportagem
BR SPCLEARQ FAIA-H-IT603 · Item · [1981]/11/10
Parte de Ayda Ignez Arruda
Comissão de negociações faz segredo. S.l.: s.n., 10 nov. [1981?]. Educação, p.14. Ayda Ignez Arruda