Showing 743 results

Archival description
Ayda Ignez Arruda
Print preview View:

19 results with digital objects Show results with digital objects

Proposta de Rolando Chuaqui

Proposta de Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, contendo sugestões de organização do III Simpósio Latino-Americano de Lógica Matemática.

Untitled

Proposta de Regimento Interno do IMECC

Proposta de Regimento Interno do IMECC, elaborada pela comissão eleita para tal fim, dispondo sobre o funcionamento do Instituto e sua administração.

Untitled

Projeto Sistemas de Bibliotecas da Unicam

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

Untitled

Processo n. 1928/81

Processo n. 1928/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando o professor Eduardo Oscar de Campos Chaves das funções de diretor da Faculdade de Educação.

Untitled

Processo n. 1817/81

Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.

Untitled

Processo 1234/81

Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.

Untitled

Planto de pesquisas

Plano de Pesquisas 1977/1979 de AIA tendo como tema "Lógica Matemática". Ass.: Ayda Ignez Arruda.

Plano de trabalho

Plano de Trabalho contendo as atividades a serem desenvolvidas pelos professores Francisco Xavier Caicedo, R. Epstein e A. Prestel.

Plano [de pesquisa]

Plano [de pesquisa] elaborado por AIA para Walter, intitulado Teorias dos Reticulados (Lógica Algébrica).

Untitled

Plano de aulas

Plano de aulas elaborado por Leslaw Szczerba referente ao curso intitulado Foundations of Geometry, ministrado durante sua estadia no Brasil

Os sistemas P e P*,

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

Untitled

On the principle of contradiction in Aristotle

LUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.

Untitled

On the Postulate of Separation

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Untitled

On the Imaginary Logic of N.A. Vasil'év

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Untitled

On Griss propositional calculus

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Untitled

Ofício Sub/CPG/DF – n° 13/83

Ofício Sub/CPG/DF 13/83 de Carlos Ribeiro Moura comunicando que os professores indicados por AIA para a banca julgadora do mestrado de Regina Aparecida Munhoz Fonte não poderão participar. Ass.: Carlos R. Moura

Ofício SG/2 – n° 118/83

Ofício SG/2 118/83 de José Aristodemo Pinotti informando da indicação de AIA para a banca julgadora do Concurso de Livre Docência de alguns professores. Ass.: Ferdinando de Oliveira Figueiredo

Ofício n. 172/81-IM de Annibal Parracho Sant’Anna

Ofício n. 172/81-IM de Annibal Parracho Sant’Anna a Plínio Alves de Moraes, Reitor da Unicamp, estranhando e lamentando o afastamento de AIA da direção do IMECC. S.l., 05 nov. 1981. Ass.: Aníbal Parracho Sant?Anna. 1p. dat. cópia.

Untitled

Results 181 to 210 of 743