Mostrando 1 resultados

Descrição arquivística
1796 resultados com objetos digitais Exibir resultados com objetos digitais
Carta de Liang-Hiu Chen a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT54 · Item · 1984-11-20
Parte de José Carlos Valladão de Mattos
Carta de Liang-Hiu Chen a JCVM informando sobre trabalhos desenvolvidos conjuntamente, relatando sobre a publicação de artigos em que são co-autore.s Ass. Liang-Hiu Chen. José Carlos Valladão de Mattos
Ofício de Olísia de Oliveira Damasceno a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT59 · Item
Parte de José Carlos Valladão de Mattos
Ofício de Olísia de Oliveira Damasceno a JCVM solicitando que este compra a passagem visando a sua participação do seminário na UFMG E que a mesma será reembolsada. Ass. Olísia de Oliveira Damasceno, Coordenadora de Seminários do Departamento de Física-UFMG José Carlos Valladão de Mattos
Memorando de S. Caticha Ellis a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT62 · Item · 1977-08-17
Parte de José Carlos Valladão de Mattos
Memorando de S. Caticha Ellis a JCVM comunicando sua participação na coordenação da Universidade Aberta como representante do DESCM. Ass. Prof. S. Caticha Ellis, Chefe Dept. Estado Sólido e Ciência dos Materiais. José Carlos Valladão de Mattos
Carta de Gil de Aquino Farias a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT63 · Item · 1980-08-12
Parte de José Carlos Valladão de Mattos
Carta de Gil de Aquino Farias a JCVM convidando para participar da banca examinadora da tese de Paulo Cezar Barbosa. Ass. Prof. Gil de Aquino Farias, Coordenador do Curso de Pós-Graduação em Física José Carlos Valladão de Mattos
Carta de Ernest Göbel a JCVM
BR SPCLEARQ CJCVM-C-Cp-IT64 · Item · 1977-08-16
Parte de José Carlos Valladão de Mattos
Carta, em inglês, de Ernest Göbel a JCVM, desculpando-se por não responder a carta anterior, indagando sobre os trabalhos em desenvolvimento, sobre a política e a economia brasileira, relatando sua situação profissional e enviando currículo.ass. Ernset. José Carlos Valladão de Mattos
Carta de M. Dickmann para AIA
BR SPCLEARQ FAIA-C-Cp-IT309 · Item · ? - 1982-01-19
Parte de Ayda Ignez Arruda
Carta, em espanhol, de M. Dickmann para AIA, comunicando seu interesse em vir à Campinas quando de sua participação no VI SLALM e solicitando uma resposta quanto sua vinda ao Brasil. Paris, 19 jan. 1982. Ass.: Marcel Dickmann. 1p. Ayda Ignez Arruda
Cartão de Sava Petrov para AIA
BR SPCLEARQ FAIA-C-Cp-IT329 · Item · ? - 1981-12-25
Parte de Ayda Ignez Arruda
Cartão, em inglês, de Sava Petrov para AIA, comunicando que seu artigo está pronto para ser impresso. S.l., 25 dez. 1981. Ass.: ( __ ). 1p. dat. Ayda Ignez Arruda
Carta de W.W. Tait para AIA
BR SPCLEARQ FAIA-C-Cp-IT332 · Item · ? - 1976-05-25
Parte de Ayda Ignez Arruda
Carta, em inglês, de W.W. Tait para AIA, recomendando e comentando o trabalho de Bruce Rose. [Chicago], 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia. Ayda Ignez Arruda
Carta de John T. Baldwin a Said Sidki
BR SPCLEARQ FAIA-C-Ct-IT345 · Item · ? - 1976-05-28
Parte de Ayda 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
Ofício n. 117/76-M de Martha Maria Mischan
BR SPCLEARQ FAIA-C-Ct-IT348 · Item · ? - 1976-11-29
Parte de Ayda Ignez Arruda
Ofício n. 117/76-M de Martha Maria Mischan para Herman Rohrer, agradecendo a colaboração do IMECC na elaboração do plano de estudos. Botucatu, 29 nov. 1976. Ass.: Martha Mischan. 1p. dat. cópia. Ayda Ignez Arruda
BR SPCLEARQ FAIA-C-Ct-IT357 · Item · ? - 1980-03-05
Parte de Ayda 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 recomendação de Weiner Krabs
BR SPCLEARQ FAIA-C-Ct-IT358 · Item · ? - 1981-08-06
Parte de Ayda 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
Carta de Angus Macintyre a Said Sidki
BR SPCLEARQ FAIA-C-Ct-IT335 · Item · ? - 1976-05-18
Parte de Ayda 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
Ofício IMECC/DI-064/81 de Antonio Cond
BR SPCLEARQ FAIA-C-Ct-IT337 · Item · ? - 1981-11-05
Parte de Ayda Ignez Arruda
Ofício IMECC/DI-064/81 de Antonio Conde, diretor associado do IMECC, ao reitor da Unicamp, comunicando sobre a crise dentro da universidade. S.l., 05 nov. 1981. S.ass. 2p. dat. cópia. Ayda Ignez Arruda
Carta de Bruce I. Rose
BR SPCLEARQ FAIA-C-Ct-IT341 · Item · ? - 1976-05-13
Parte de Ayda Ignez Arruda
Carta, em inglês, de Bruce I. Rose, solicitando auxílio para tentar obter o cargo de professor numa universidade brasileira e informando sobre seus trabalhos científicos. Chicago, 13 maio 1976. Ass.: Bruce I. Rose. 1p. dat. cópia. Ayda Ignez Arruda
Carta de John T. Baldwin a Said Sidki
BR SPCLEARQ FAIA-C-Ct-IT345 · Item · ? - 1976-05-28
Parte de Ayda 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 José Norberto Walter Dachs
BR SPCLEARQ FAIA-C-Ct-IT346 · Item · ? - 1976-05-16
Parte de Ayda 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
Ofício n. 117/76-M de Martha Maria Mischan
BR SPCLEARQ FAIA-C-Ct-IT348 · Item · ? - 1976-11-29
Parte de Ayda Ignez Arruda
Ofício n. 117/76-M de Martha Maria Mischan para Herman Rohrer, agradecendo a colaboração do IMECC na elaboração do plano de estudos. Botucatu, 29 nov. 1976. Ass.: Martha Mischan. 1p. dat. cópia. Ayda Ignez Arruda
Carta de Rubem A. Alves a José Aristodemo Pinotti
BR SPCLEARQ FAIA-C-Ct-IT353 · Item · ? - 1982-06-08
Parte de Ayda Ignez Arruda
Carta de Rubem A. Alves a José Aristodemo Pinotti, reitor da Unicamp, declarando-se contra a realização de novas eleições para representante dos professores titulares. Campinas, 08 jun. 1982. Ass.: Rubem A. Alves. 2p. dat. cópia. Ayda Ignez Arruda
Álgebras de conjuntos não-clássicas
BR SPCLEARQ FAIA-PIm-A-IT360 · Item · ? - 1966-10-17
Parte de Ayda Ignez Arruda
Artigo de AIA, intitulado Álgebras de conjuntos não-clássicas. Universidade de São Paulo, 17 out. 1966. S.ass. 10p. dat. cópia. Ayda Ignez Arruda
Une sémantique pour le calcul C1=
BR SPCLEARQ FAIA-PIm-A-IT368 · Item
Parte de 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. Ayda Ignez Arruda
Artigo sem título
BR SPCLEARQ FAIA-PIm-A-IT369 · Item
Parte de Ayda Ignez Arruda
Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat. Ayda Ignez Arruda
Os sistemas P e P*,
BR SPCLEARQ FAIA-PIm-A-IT370 · Item
Parte de Ayda Ignez Arruda
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. Ayda Ignez Arruda
Estudo de AIA sem título
BR SPCLEARQ FAIA-PIm-V-IT383 · Item
Parte de Ayda Ignez Arruda
Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat. Ayda Ignez Arruda