7 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deNewton Carneiro Affonso da Costa
Carta de Leopoldo Nachbin a NCAC agradecendo e parabenizando pela cópia de parte de carta de Roberto Wolf, e parabenizando a Ayda Ignez Arruda por assumir a direção do IMECC/Unicamp. S.l., 20 de out. de 1980. 1p.
Parte deNewton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC comentando o seu receio sobre os rumos do desenvolvimento científico na cidade de Campinas e o que essa comunidade está passando. Chamalières, 27 de jan. de 1970. 2p. (ms)
Newton Carneiro Affonso da Costa
Parte deNewton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC comentando sobre a exposição de seu trabalho e de sua viagem à Europa. Chamalières, 7 de fev. de 1970. 2p. (ms)
Parte deNewton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC falando de sua estadia em Chamalières e do resultado de suas pesquisas. Chamalières, 1 de jan. de 1970. 2p. (ms)
Parte deNewton Carneiro Affonso da Costa
Carta de Ayda Agnez Arruda a NCAC discutindo noções de lógica. Clermont, 5 de dez. de 1969. 1p. (ms)
Estudo contendo vários teoremas
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Estudo contendo demonstrações de vários teoremas
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Teoria de Conjuntos R e cálculos diversos
Parte deAyda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez Arruda
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.
Ayda Ignez Arruda
Estudo sobre a regra do modus ponens
Parte deAyda Ignez Arruda
Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. ms.
Ayda Ignez Arruda
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, tratando sobre sistemas lógicos sem a regra do modus ponens. S.l., S.d. S.ass. 12p. ms.
Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Parte deAyda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
Ayda Ignez Arruda
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.
Ayda Ignez Arruda
Estudos contendo tópicos sobre axiomas
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Estudos analisando vários aspectos da lógica
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.
Ayda Ignez Arruda
Notas para a História da Lógica, História, e Variedades da Lógica
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo partes intituladas Notas para a História da Lógica, História, e Variedades da Lógica. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.
Ayda Ignez Arruda
Teorema de Completude para teorias de primeira ordem
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms.
Ayda Ignez Arruda
Teorema da Dedução para Teorias de Primeira Ordem
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.
Ayda Ignez Arruda
Sobre Certos Sistemas de Lógica Relevante
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sobre Certos Sistemas de Lógica Relevante. S.l., S.d. S.ass. 11p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda
Sistemas formais inconsistentes e teorias de conjuntos
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Relevance Logic and the Schema of Separation
Parte deAyda Ignez Arruda
Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Observações sobre um sistema sem a regra do modus ponens
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms.
Ayda Ignez Arruda
Observações sobre os sistemas NFi
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.
Ayda Ignez Arruda