Mostrando 743 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão Visualizar:

19 resultados com objetos digitais Exibir resultados com objetos digitais

Carta de Antonio Diego para Carlos E. Meyer

Carta, em espanhol, de Antonio Diego para Carlos E. Meyer aceitando participar da banca examinadora de Luiz F. Monteiro. Bahía Blanca, 23 nov. 1970. Ass.: Antonio Diego. 1p. dat. cópia.

Ayda Ignez Arruda

Carta de José Norberto Walter Dachs

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 José Norberto Walter Dachs

Carta de José Norberto Walter Dachs a Ubiratan D’Ambrósio, diretor do IMECC, solicitando providências para a aceitação de Cosimo Guido no doutorado em Matemática. Campinas, 31 ago. 1977. Ass.: José Roberto Walter Dachs. 1p. dat.

Ayda Ignez Arruda

Ofício n. 117/76-M de Martha Maria Mischan

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 Rolando Chuaqui para Carlos E. Meyer

Carta, em espanhol, de Rolando Chuaqui para Carlos E. Meyer, agradecendo a correspondência deste e comentando a tese de Luiz F. Monteiro. Santiago, 13 abril. 1971. Ass.: Rolando Chuaqui. 1p. dat. cópia.

Ayda Ignez Arruda

Carta de Rubem A. Alves a José Aristodemo Pinotti

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

Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes

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 W.W. Tait a Said Sidki

Carta, em inglês, de W.W. Tait a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 25 maio 1976. Ass.: W.W. Tait. 1p. dat. cópia.

Ayda Ignez Arruda

Álgebras de conjuntos não-clássicas

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=

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

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*,

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

Cálculo Proposicional

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Ayda Ignez Arruda

A teoria de primeira ordem v

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Cálculos Implicativos Gerais

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Linguagem de Primeira Ordem

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

Exibindo 121-150 de 743 resultados