Mostrando 1 resultados

Descrição arquivística
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