2 resultados con objetos digitales Muestra los resultados con objetos digitales
Carta de Cecylia Rauszer para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Cecylia Rauszer para AIA, comunicando sobre as dificuldades em sair da Polônia e sobre trabalhos para o Congresso Internacional de Matemática. S.l., 20 mar. 1982. Ass.: Cecylia. 1p. ms.
Ayda Ignez Arruda
Carta de Cecylia Rauszer para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Cecylia Rauszer para AIA, comunicando a obtenção de permissão para visitar o Brasil e solicitando informações sobre curso a ser ministrado. Warsaw, 06 maio 1982. Ass.: Cecylia. 1p. ms.
Ayda Ignez Arruda
Carta de Cecylia Rauszer para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Cecylia Rauszer para AIA, informando sobre sua viagem ao Brasil e problemas com passaporte. S.l., 16 maio 1982. Ass.: Cecylia. 1p. dat.
Ayda Ignez Arruda
Carta de Cecylia Rauszer para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Cecylia Rauszer para AIA, comunicando a data para sua visita e solicitando detalhes sobre salários e despesas com a viagem. S.l., 16 jun. 1982. Ass.: Cecylia. 1p. ms.
Ayda Ignez Arruda
Carta de Georg Henrik von Wright para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Georg Henrik von Wright para AIA, agradecendo o envio do artigo e comentando os trabalhos sobre lógica paraconsistente. Helsinki, 28 jun. 1983. Ass.: Georg Henrik von Wright. 1p. dat.
Ayda Ignez Arruda
Cartão de Hristo Smolenov para AIA
Parte deAyda Ignez Arruda
Cartão, em inglês, de Hristo Smolenov para AIA, informando sobre sua titulação, perguntando sobre artigos e cartas enviadas e desejando boa saúde e sucesso profissional. [Sofia], 26 dez. 1982. Ass.: Hristo Smolenov. 1p. ms.
Ayda Ignez Arruda
Carta de Jaime Bohorquez para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Jaime Bohorquez para AIA, dizendo que gostaria de pesquisar e lecionar na América Latina, especialmente na Unicamp. Nova York, 20 abr. 1982. Ass.: Jaime Bohorquez. 1p. dat.
Ayda Ignez Arruda
Carta de Jaime Bohorquez para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Jaime Bohorquez para AIA, confirmando interesse em trabalhar na Unicamp e comunicando que o envio de cópia de sua tese. Nova York, 10 jun. 1982. Ass.: Jaime Bohorquez. 1p. dat.
Ayda Ignez Arruda
Carta de Nicola Grana para AIA
Parte deAyda Ignez Arruda
Carta, em inglês, de Nicola Grana para AIA, enviando trabalho e solicitando outros ainda não publicados na Itália. S.l., S.d. Ass.: Nicola Grana. 1p. ms.
Ayda Ignez Arruda
Cálculo de predicados de ordem superior
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
Decidibilidade do cálculo implicativo clássico
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Aspects of the Historical Development of Paraconsistent Logic
Parte deAyda Ignez Arruda
Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.
Ayda Ignez Arruda
Abstract da palestra Implicative Systems and Modus Ponens Rule
Parte deAyda Ignez Arruda
Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.
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
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
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
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
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
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