Mostrando 1 resultados

Descrição arquivística
Visualizar impressão
Visualização em ficha Visualização em tabela
1796 resultados com objetos digitais Exibir resultados com objetos digitais
Cálculo Proposicional
BR SPCLEARQ FAIA-PIm-CP-IT396 · Item
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms. Ayda Ignez Arruda
A teoria de primeira ordem v
BR SPCLEARQ FAIA-PIm-EL-IT407 · Item
Parte de Ayda Ignez Arruda
Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms. Ayda Ignez Arruda
Cálculos Implicativos Gerais
BR SPCLEARQ FAIA-PIm-EL-IT409 · Item
Parte de Ayda Ignez Arruda
Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms. Ayda Ignez Arruda
Estudos analisando vários aspectos da lógica
BR SPCLEARQ FAIA-PIm-EL-IT431 · Item · 1975-09-05
Parte de Ayda 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
Estudos contendo tópicos sobre axiomas
BR SPCLEARQ FAIA-PIm-EL-IT432 · Item
Parte de Ayda 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
Tradução do artigo de Jean Dieudonné
BR SPCLEARQ FAIA-PItm-IT443 · Item
Parte de Ayda Ignez Arruda
Tradução, do artigo de Jean Dieudonné, [feita por AIA], intitulado Deveríamos ensinar matemática moderna?. S.l., S.d. S.ass. 13p. ms. Ayda Ignez Arruda
Estudo de Andréa Loparic
BR SPCLEARQ FAIA-PItm-IT451 · Item · 1975-12-13
Parte de Ayda Ignez Arruda
Estudo de Andréa Loparic, contendo exercícios, lemas, teoremas e corolários. S.l., 13 dez. 1975. Ass.: A. Loparic. 4p. ms. cópia. Ayda Ignez Arruda
Lógica e Metalógica
BR SPCLEARQ FAIA-PItm-IT460 · Item
Parte de Ayda Ignez Arruda
Tradução do artigo de N.A. Vasil'év, feita por Edmundo Braga, intitulado Lógica e Metalógica. S.l., S.d. S.ass. 41p. dat. Ayda Ignez Arruda
O Intelecto Humano
BR SPCLEARQ FAIA-PItm-IT465 · Item
Parte de Ayda Ignez Arruda
Texto sem autor intitulado O Intelecto Humano resumindo as principais idéias de Nietzsche expressas em Sobre Verdade e Mentira no Sentido Extra-moral. S.l., S.d. S.ass. 1p. dat. Ayda Ignez Arruda
La mathématique classiques dans Nfw
BR SPCLEARQ FAIA-Impr-IT472 · Item · 1971-05-03
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971. Ayda Ignez Arruda
N.A. Vasili’év e a Lógica Paraconsistente
BR SPCLEARQ FAIA-Impr-IT474 · Item · 1978
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I. N.A. Vasili’év e a Lógica Paraconsistente. Campinas: Unicamp, 1978. 60 p. (Relatório Interno nº 140, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas) Ayda Ignez Arruda
Remarks on da Costa Paraconsistent set theories
BR SPCLEARQ FAIA-Impr-IT479 · Item · 1982-02
Parte de Ayda Ignez Arruda
ARRUDA, Ayda Ignez. Remarks on da Costa Paraconsistent set theories. Campinas: Unicamp, fev. 1982. 25p. (Relatório Interno, n° 197, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas) Ayda Ignez Arruda
The Paradox of Russell in the Systems Nfn
BR SPCLEARQ FAIA-Impr-IT491 · Item · 1980
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I. The Paradox of Russell in the Systems Nfn. Proceedings of the Third Brazilian Conference on Mathematical Logic. [Campinas: SBL-Unicamp], p. 1-2, 1980. Ayda Ignez Arruda
Uma Questão de Lógica
BR SPCLEARQ FAIA-Impr-IT492 · Item
Parte de Ayda Ignez Arruda
ARRUDA, Ayda Ignez. Uma Questão de Lógica. Revista Brasileira de Filosofia. [São Paulo, v. XIII, fasc. 50], p. 261-264, s.d. Ayda Ignez Arruda
Sur le schèma de la sèparation
BR SPCLEARQ FAIA-Impr-IT502 · Item · 1970-03
Parte de Ayda Ignez Arruda
ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970. Ayda Ignez Arruda
Sur une hiérarchies de systèmes formels
BR SPCLEARQ FAIA-Impr-IT504 · Item · 1964-11-02
Parte de Ayda 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
Boletim Informativo
BR SPCLEARQ FAIA-Impr-IT512 · Item · 1981-11-09
Parte de Ayda Ignez Arruda
BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.199, 09 nov. 1981. Ayda Ignez Arruda
Boletim Informativo
BR SPCLEARQ FAIA-Impr-IT513 · Item · 1981-11-16
Parte de Ayda Ignez Arruda
BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.200, 16 nov. 1981. Ayda Ignez Arruda