Showing 744 results

Archival description
Ayda Ignez Arruda
Print preview View:

20 results with digital objects Show results with digital objects

Wroctaw: Polish Academy of Sciences

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

Unidade de opostos

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

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=

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

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

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

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

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

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

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

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

Título de quitação do processo 81/543-8. Ass.: Rubens Guedes Jordão, diretor administrativo da Fapesp.

Título de quitação

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

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

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

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

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

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

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

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.
Results 1 to 30 of 744