Visualizar impressão Fechar

Mostrando 261 resultados

Descrição arquivística
Ayda Ignez Arruda Ayda Ignez Arruda Inglês
Visualizar impressão Visualizar:

2 resultados com objetos digitais Mostrar os resultados com objetos digitais

Artigo cálculos proposicionais

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

Semântica para D1

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Sistema DL

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

Ayda Ignez Arruda

Unidade de opostos

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Further considerations on the Postulate of Separation

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

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

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

Mathematical Logic

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Ayda Ignez Arruda

Carta de AIA para Ruy Carlos de Camargo Vieira

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

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

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

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

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

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

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.

Carta de Paul Weingartner

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

Carta de Paul Weingartner

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

Caderno de AIA

Caderno de AIA contendo anotações sobre história da matemática e da lógica e planos de aulas.

Ayda Ignez Arruda

Resultados 121 até 150 de 261