Showing 732 results

Archival description
Ayda Ignez Arruda
Print preview
Card view Table view
22 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
Título de quitação
BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT044 · Item
Part of Ayda Ignez Arruda
Título de quitação do processo 81/543-8. Ass.: Rubens Guedes Jordão, diretor administrativo da Fapesp.
Título de quitação
BR SPCLEARQ FAIA-AA-Fapesp-IT036 · Item
Part of Ayda Ignez Arruda
Título de quitação do processo 81/522-4 aprovando contas do auxílio concedido à AIA. Ass.: Rubens Guedes Jordão
Título de quitação
BR SPCLEARQ FAIA-AA-Fapesp-DLS-IT062 · Item
Part of Ayda Ignez Arruda
Título de quitação do processo 78/0232. Ass.: Rubens Guedes Jordão, diretor administrativo da Fapesp.
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
Termo de outorga e aceitação
BR SPCLEARQ FAIA-AA-Fapesp-DLS-IT059 · Item
Part of Ayda Ignez Arruda
Termo de outorga e aceitação de auxílio Fapesp do projeto de pagamento das passagens aéreas do professor Leslaw Szczerba, registrado como processo 78/0232, concedido a AIA. Ass.: Ayda Ignez Arruda
Termo de outorga e aceitação
BR SPCLEARQ FAIA-AA-Fapesp-DJK-IT050 · Item
Part of Ayda Ignez Arruda
Termo de outorga e aceitação de auxílio Fapesp do projeto de contratação do professor Jerzy Kotas como professor visitante, registrado como processo n° 78/1294, concedido a AIA. Ass.: Ayda Ignez Arruda
Termo de outorga
BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT039 · Item
Part of Ayda Ignez Arruda
Termo de outorga e aceitação de auxílio Fapesp do projeto VI Encontro Brasileiro de Lógica, registrado como Processo 2/1543-8, concedido a AIA. Ass.: Ayda Ignez Arruda
Termo de outorga
BR SPCLEARQ FAIA-AA-Fapesp-DAS-IT038 · Item
Part of Ayda Ignez Arruda
Termo de outorga e aceitação de auxílio Fapesp do projeto Aquisição de Separatas registrado como Processo n° 80/0978-5, concedido a AIA.
Termo de contrato de trabalho
BR SPCLEARQ FAIA-DP-IT002 · Item
Part of Ayda Ignez Arruda
Termo de Contrato de Trabalho entre a Unicamp e AIA. Ass.: Zeferino Vaz, reitor da Unicamp; Ayda Ignez Arruda; Maria de Lourdes Malta Pretti, [funcionária da Unicamp] e testemunhas.