Várias axiomáticas para o cálculo proposicional clássico
- BR SPCLEARQ FAIA-PIm-CP-IT405
- Item
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
2 resultados com objetos digitais Mostrar os resultados com objetos digitais
Várias axiomáticas para o cálculo proposicional clássico
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Artigo cálculos proposicionais
Parte deAyda Ignez Arruda
Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.
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
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
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. 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
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
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
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
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Unidade de opostos. S.l., S.d. 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
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.
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
O paradoxo de Curry-Moh Shaw-Kwei
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.
Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].
Ayda Ignez Arruda
Carta da Presidência do Conselho Técnico Administrativo da Fapesp
Parte deAyda Ignez Arruda
Carta da Presidência do Conselho Técnico Administrativo da Fapesp solicitando à professora AIA o envio do relatório científico referente ao processo 82/1543-8. Ass.: Anita Bueno.
Carta de AIA para Ruy Carlos de Camargo Vieira
Parte deAyda Ignez Arruda
Carta de AIA a Ruy Carlos de Camargo Vieira, diretor científico da Fapesp, encaminhando o relatório científico relativo ao processo 82/1543-8 e pedindo desculpas por não ter enviado anteriormente
Carta de AIA para William Saad Hossne
Parte deAyda Ignez Arruda
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando auxílio para contratação de Jerzy Kotas, da Universidade de Torún, como professor visitante. Ass.: Ayda Ignez Arruda.
Carta de AIA para William Saad Hossne
Parte deAyda Ignez Arruda
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, informando que o professor Roberto Cignoli será o substituto para a realização do projeto de contratação do professor Jerzy Kotas como professor visitante. Ass.: Ayda Ignez Arruda
Carta de AIA para William Saad Hossne
Parte deAyda Ignez Arruda
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, solicitando bolsa de mestrado para Regina Aparecida Munhoz Moreno. Ass.: Ayda Ignez Arruda
Carta de AIA para William Saad Hossne
Parte deAyda Ignez Arruda
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório referente à bolsa de mestrado concedida a Regina Aparecida Munhoz Moreno.
Carta de AIA para William Saad Hossne
Parte deAyda Ignez Arruda
Carta de AIA para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório de atividades da bolsa de mestrado de Regina Aparecida Munhoz Moreno. Ass.: Ayda Ignez Arruda.
Carta de AIA para Manoel Marco Maciel Formiga
Parte deAyda Ignez Arruda
Carta de AIA para Manoel Marco Maciel Formiga, superintendente de desenvolvimento científico do CNPq, devolvendo o comunicado de concessão de auxílio e reiterando o cancelamento.
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.
Parte deAyda Ignez Arruda
Carta de Paul Weingartner, presidente do comitê organizador local, para AIA informando sobre os trabalhos a serem apresentados no Congresso de Salzburgo. Ass.: Paul Weingartner
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Carta de Paul Weingartner, presidente do comitê organizador local, confirmando a inscrição de AIA no VII International Congress os Logic, Methodology and Philosophy of Science. Ass.: Paul Weingartner
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Caderno de AIA contendo anotações sobre história da matemática e da lógica e planos de aulas.
Ayda Ignez Arruda