18 resultados con objetos digitales Muestra los resultados con objetos digitales
Carta de Antonio Diego para Carlos E. Meyer
Parte deAyda Ignez Arruda
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
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 José Norberto Walter Dachs
Parte deAyda Ignez Arruda
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
Parte deAyda 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 Rolando Chuaqui para Carlos E. Meyer
Parte deAyda Ignez Arruda
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
Parte deAyda 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
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 W.W. Tait a Said Sidki
Parte deAyda Ignez Arruda
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
Produção Intelectual Manuscrita
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Álgebras de conjuntos não-clássicas
Parte deAyda 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
Observações sobre o conjunto de Russell
Parte deAyda Ignez Arruda
Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.
Ayda Ignez Arruda
Resumo de AIA intitulado On Griss' Propositional Calculus
Parte deAyda Ignez Arruda
Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.
Ayda Ignez Arruda
Sur la Théorie des Sytèmes Formels Inconsistants
Parte deAyda Ignez Arruda
Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.
Ayda Ignez Arruda
Une sémantique pour le calcul C1=
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Críticas de Smirnov à lógica de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic
Parte deAyda Ignez Arruda
Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.
Ayda Ignez Arruda
Sistemas Cn, Cw e Relacionados
Parte deAyda Ignez Arruda
Estudo de AIA, Sobre a Lógica da Vaguidade
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Cálculos Proposicionais, de Predicados e Matrizes
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Capítulo II - Teoria de conjuntos An
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.
Ayda Ignez Arruda