- BR SPCLEARQ FAIA-C-Ct
- Subsérie
Parte deAyda Ignez Arruda
18 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deAyda Ignez Arruda
Comunicado da Universität Erlangen-Nürnberg
Parte deAyda Ignez Arruda
Comunicado, em alemão, da Universität Erlangen-Nürnberg, informando o interesse de algumas unidades da Unicamp em colaborar com universidades alemãs. Erlangen, 11 jun. 1976. Ass.: Hermann Rohrer; W. Händler. 1p. dat. cópia.
Ayda Ignez Arruda
Carta de José Norberto Walter Dachs
Parte deAyda Ignez Arruda
Carta de José Norberto W. Dachs, coordenador da CPG-IMECC, a Ubiratan D?Ambrósio, diretor do IMECC, solicitando reconhecimento de diplomas estrangeiros. Campinas, 16 maio 1976. Ass.: Carlos Segovia. 1p. dat.
Ayda Ignez Arruda
Carta de Roman Sikorski para Universidad Nacional del Sur
Parte deAyda Ignez Arruda
Carta, em inglês, de Roman Sikorski para Universidad Nacional del Sur, recomendando a aprovação da dissertação de doutorado de Luiz Monteiro. Warszawa, 13 mar. 1971. Ass.: R. Sikorsi. 1p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta de Ubiratan D’Ambrósio, diretor do IMECC, a H. Roher, convidando-o para participar de banca examinadora do exame de qualificação do doutorado de Lilian Torng Sheng. Campinas, 23 nov. 1976. Ass.: ( ___ ). 1p. dat. cópia.
Ayda Ignez Arruda
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio
Parte deAyda Ignez Arruda
Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio, diretor do IMECC, a Plínio Alves de Moraes, reitor da Unicamp, enviando lista tríplice da eleição para diretor do IMECC. S.l., 18 dez. 1979. Ass.: Ubiratan D?Ambrósio. 1p. dat. cópia.
Ayda Ignez Arruda
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes
Parte deAyda Ignez Arruda
Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes, reitor da Unicamp, encaminhando o resultado da lista sêxtupla e como se deu a eleição para a direção do IMECC. S.l., 05 mar. 1980. Ass.: Ubiratan D?Ambrósio. 1p. dat. cópia.
Ayda Ignez Arruda
Carta de Angus Macintyre a Said Sidki
Parte deAyda Ignez Arruda
Carta, em inglês, de Angus Macintyre a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 18 maio 1976. Ass.: Angus Macintyre. 1p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta de Antonio Conde, diretor associado em exercício de direção do IMECC, a Andrés R. Raggio, convidando este último a proferir uma palestra. Cidade Universitária ?Zeferino Vaz?, 12 abr. 1982. Ass.: Antonio Conde. 1p. dat.
Ayda Ignez Arruda
Carta de John T. Baldwin a Said Sidki
Parte deAyda Ignez Arruda
Carta, em inglês, de John T. Baldwin a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 28 maio 1976. Ass.: John T. Baldwin. 1p. dat. cópia.
Ayda Ignez Arruda
Carta de Richard [Routley] para Newton C. A. da Costa
Parte deAyda Ignez Arruda
Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. dat.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta de Ubiratan D’Ambrósio, diretor do IMECC, a H. Roher, convidando-o para participar de banca examinadora do exame de qualificação do doutorado de Lilian Torng Sheng. Campinas, 23 nov. 1976. Ass.: ( ___ ). 1p. dat. cópia.
Ayda Ignez Arruda
Carta de recomendação de Weiner Krabs
Parte deAyda Ignez Arruda
Carta de recomendação, em alemão, de Weiner Krabs, comentando sobre as habilidades do aluno Plínio Stange. Darmstadt, 06 ago. 1981. Ass.: Werner Krabs. 1p. dat. cópia.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.
Ayda Ignez Arruda
Le schéma de la séparation dans les systèmes NFn
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.
Ayda Ignez Arruda
Remarques sur les systèmes Cn. C.R. Acad. Sc
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975
Ayda Ignez Arruda
Sistemas Formais Inconsistentes e Teoria dos Conjuntos
Parte deAyda Ignez Arruda
ARRUDA, Ayda Ignez. Sistemas Formais Inconsistentes e Teoria dos Conjuntos. s.l., p. 18-25, s.d.
Ayda Ignez Arruda
Sur certaines hiérarchies de calculs propositionnels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.
Ayda Ignez Arruda
Sur les systèmes Nfi de da Costa
Parte deAyda Ignez Arruda
ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.
Ayda Ignez Arruda
A semantical study of some of vagueness logic
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 ? 145, s.d.
Ayda Ignez Arruda
Sur un Théorème de Hilbert et Bernays
Parte deAyda 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
Une sémantique pour le calcul C1=. C.R
Parte deAyda 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
Um currículo para a formação do professor de matemática do ensino secundário
Parte deAyda Ignez Arruda
BARSOTTI, Leo; COSTA, Newton C.A. da. Um currículo para a formação do professor de matemática do ensino secundário. Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 5, nº 3, p. 45-84, out. 1962.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.
Ayda Ignez Arruda
Su una interpretazione algebricio-categoriale del silogismo
Parte deAyda Ignez Arruda
FREGUGLIA, Paolo. Su una interpretazione algebricio-categoriale del silogismo. Archimede, s.l., n.1-2, p.30-41, 1978.
Ayda Ignez Arruda
Logic of negationless intuitionistics mathematics
Parte deAyda Ignez Arruda
GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951.
Ayda Ignez Arruda
International Congress on Logical Mathematic and Philosophy of Science
Parte deAyda Ignez Arruda
INTERNATIONAL Congress on Logical Mathematic and Philosophy of Science., 7, 11-16 jul. 1983. Cartaz. Salzburg, Austria: 1982. 1p.
Ayda Ignez Arruda