Showing 587 results

Archival description
Ayda Ignez Arruda
Print preview
Card view Table view
6 results with digital objects Show results with digital objects
Wroctaw: Polish Academy of Sciences
BR SPCLEARQ FAIA-Impr-IT519 · Item · 1979-10
Part of Ayda Ignez Arruda
BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979. Untitled
Vistos e parecer do juiz referente ao processo n. 126/82
BR SPCLEARQ FAIA-IU-AJ-IT176 · Item · 1982-04-02
Part of Ayda Ignez Arruda
Vistos e parecer do juiz referente ao processo n. 126/82 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando alguns diretores de suas funções. Ass.: Álvaro Érix Ferreira. Untitled
Unidade de opostos
BR SPCLEARQ FAIA-PIm-EL-IT429 · Item
Part of Ayda Ignez Arruda
Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms. Untitled
Une sémantique pour le calcul C1=. C.R
BR SPCLEARQ FAIA-Impr-IT506 · Item · 1977-01-31
Part of 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. Untitled
Une sémantique pour le calcul C1=
BR SPCLEARQ FAIA-PIm-A-IT368 · Item
Part of Ayda Ignez Arruda
Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia. Untitled
Une sémantique pour le calcul C1
BR SPCLEARQ FAIA-Impr-IT526 · Item · 1976-06
Part of Ayda Ignez Arruda
COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976. Untitled
Une sémantique pour le calcul C1
BR SPCLEARQ FAIA-PItm-IT441 · Item · [1974-1976]
Part of Ayda Ignez Arruda
Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia. Untitled
Un calcul des applications
BR SPCLEARQ FAIA-Impr-IT523 · Item · 1971
Part of Ayda Ignez Arruda
CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971. Untitled
Uma Questão de Lógica
BR SPCLEARQ FAIA-Impr-IT492 · Item
Part of Ayda Ignez Arruda
ARRUDA, Ayda Ignez. Uma Questão de Lógica. Revista Brasileira de Filosofia. [São Paulo, v. XIII, fasc. 50], p. 261-264, s.d. Untitled
Trecho de reportagem O Diário de Piracicaba
BR SPCLEARQ FAIA-IU-CNM-IT166 · Item · 1981-10-21
Part of Ayda Ignez Arruda
Trecho de reportagem contida em O Diário de Piracicaba, contendo comunicado da reitoria da Unicamp esclarecendo e justificando os atos do reitor. Cidade Universitária "Zeferino Vaz Untitled
Transformadas no Cálculo Restrito de Predicados
BR SPCLEARQ FAIA-Impr-IT505 · Item · 1966-12,
Part of 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. Untitled
Tradução do artigo de Jean Leray
BR SPCLEARQ FAIA-PItm-IT449 · Item
Part of Ayda Ignez Arruda
Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms. Untitled
The Paradox of Russell in the Systems Nfn
BR SPCLEARQ FAIA-Impr-IT491 · Item · 1980
Part of Ayda Ignez Arruda
ARRUDA, Ayda I. The Paradox of Russell in the Systems Nfn. Proceedings of the Third Brazilian Conference on Mathematical Logic. [Campinas: SBL-Unicamp], p. 1-2, 1980. Untitled
Telex de Carlos Di Prisco para AIA
BR SPCLEARQ FAIA-C-Cp-IT257 · Item · 1983-02-01
Part of Ayda Ignez Arruda
Telex, em espanhol, de Carlos Di Prisco para AIA, comunicando possibilidades de obter financiamento para viagem e solicitando outras informações. Caracas, 01 fev. 1983. 1p. dat. Untitled