- BR SPCLEARQ FAIA-AA-DD-IT126
- Item
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
Ayda Ignez Arruda
2 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Lista de exercícios de AIA, contendo algumas soluções.
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
Le schéma de la separation et les calculs Tn
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.
Ayda Ignez Arruda
Introduction: A Short History of the Latin American Logic Symposia
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Informe de Paul Weingartner, presidente do comitê organizador local, aceitando artigo para a publicação nos anais do congresso.
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
Further considerations on the Postulate of Separation
Parte deAyda Ignez Arruda
ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Formulário de pedido de auxílio
Parte deAyda Ignez Arruda
Formulário de pedido de auxílios Fapesp preenchido por Newton da Costa para projeto de pesquisa intitulado Teoria dos Modelos e Aplicações a ser desenvolvido na Unicamp, Usp e Universidade Católica do Chile.
Extrato contendo movimentação financeira
Parte deAyda Ignez Arruda
Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.
Extrato contendo movimentação financeira
Parte deAyda Ignez Arruda
Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.
Extrato contendo movimentação financeira
Parte deAyda Ignez Arruda
Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.
Extrato contendo movimentação financeira
Parte deAyda Ignez Arruda
Extrato de AIA da Association for Symbolic Logic contendo movimentação financeira.
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
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
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 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
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. 17 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
Cópia de telex enviado ao MEC, da Sociedade Brasileira de Lógica para a Associação dos Docentes da Unicamp, repudiando os atos do reitor, em especial o afastamento de AIA da direção do IMECC.
Ayda Ignez Arruda
Cartão postal de Leopoldo Nachbin
Parte deAyda Ignez Arruda
Cartão postal de Leopoldo Nachbin e demais participantes da reunião de Análise Funcional para AIA, desejando votos de breve retorno à direção do IMECC. Rio de Janeiro, S.d. Ass.: Leopoldo Nachbin; Mário Matos; Guido Zapata e outros. 1p. ms.
Ayda Ignez Arruda
Cartão de Sava Petrov para AIA
Parte deAyda 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
Cartão de Natal de Vladimir A. Smirnov para AIA
Parte deAyda Ignez Arruda
Cartão de Natal, em inglês, de Vladimir A. Smirnov para AIA, desejando votos de boas festas. Moscou, S.d. S.ass. 1p. ms.
Ayda Ignez Arruda