Information object browse - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

BR SPCLEARQ FAIA-C-Ct-IT339
Item
? - 1982-04-12

Carta de Antonio Conde, diretor associado em exercício de direção do IMECC, a Andrés R. Raggio, convidando este último a proferir uma palestra. Cidade Universitária ?Zeferino Vaz?, 12 abr. 1982. Ass.: Antonio Conde. 1p. dat.

Ayda Ignez Arruda

Carta de John T. Baldwin a Said Sidki

BR SPCLEARQ FAIA-C-Ct-IT345
Item
? - 1976-05-28

Parte de Ayda Ignez Arruda

Carta, em inglês, de John T. Baldwin a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 28 maio 1976. Ass.: John T. Baldwin. 1p. dat. cópia.

Ayda Ignez Arruda

Carta de Richard [Routley] para Newton C. A. da Costa

BR SPCLEARQ FAIA-C-Ct-IT350
Item

Parte de Ayda Ignez Arruda

Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. dat.

Ayda Ignez Arruda

Carta de Ubiratan D’Ambrósio

BR SPCLEARQ FAIA-C-Ct-IT355
Item
? - 1976-11-23

Parte de Ayda Ignez Arruda

Carta de Ubiratan D’Ambrósio, diretor do IMECC, a H. Roher, convidando-o para participar de banca examinadora do exame de qualificação do doutorado de Lilian Torng Sheng. Campinas, 23 nov. 1976. Ass.: ( ___ ). 1p. dat. cópia.

Ayda Ignez Arruda

Carta de recomendação de Weiner Krabs

BR SPCLEARQ FAIA-C-Ct-IT358
Item
? - 1981-08-06

Parte de Ayda Ignez Arruda

Carta de recomendação, em alemão, de Weiner Krabs, comentando sobre as habilidades do aluno Plínio Stange. Darmstadt, 06 ago. 1981. Ass.: Werner Krabs. 1p. dat. cópia.

Ayda Ignez Arruda

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

BR SPCLEARQ FAIA-PIm-A-IT364
Item

Parte de Ayda Ignez Arruda

Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

Ayda Ignez Arruda

Resenha sobre Lógica e Metalógica, de N. A. Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT373
Item

Parte de Ayda Ignez Arruda

Resenha de AIA, sobre o texto Lógica e Metalógica, de N. A. Vasil'év. S.l., S.d. S.ass. 2p. ms.

Ayda Ignez Arruda

Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT374
Item

Parte de Ayda Ignez Arruda

Resenha de AIA, sobre o texto Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év. S.l., S.d. S.ass. 12p. dat.

Ayda Ignez Arruda

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT376
Item

Parte de Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

Ayda Ignez Arruda

Estudo de AIA Silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT380
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

Ayda Ignez Arruda

Estudo de AIA sem título

BR SPCLEARQ FAIA-PIm-V-IT383
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

Ayda Ignez Arruda

Estudo de AIA sobre Vasil'ev e a lógica paraconsistente

BR SPCLEARQ FAIA-PIm-V-IT385
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.l., S.d. S.ass. 14p. dat.

Ayda Ignez Arruda

Estudo de AIA Capítulo I: Os Cálculos Cn

BR SPCLEARQ FAIA-PIm-SC-IT386
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Os Cálculos Cn. S.l., S.d. S.ass. 18p. dat. cópia.

Ayda Ignez Arruda

Estudo de AIA sobre dualidade entre C1 e C1

BR SPCLEARQ FAIA-PIm-SC-IT393
Item

Parte de Ayda Ignez Arruda

Estudo de AIA sobre dualidade entre C1 e C1. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

Cálculo de predicados de ordem superior

BR SPCLEARQ FAIA-PIm-CP-IT395
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-CP-IT399
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 11. ms.

Ayda Ignez Arruda

Independência de axiomas

BR SPCLEARQ FAIA-PIm-CP-IT402
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT408
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT412
Item
1972-07

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT416
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. ms.

Ayda Ignez Arruda

Sobre a regra do Modus Ponens

BR SPCLEARQ FAIA-PIm-EL-IT422
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT426
Item

Parte de Ayda 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

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

Caderno contendo anotações sobre lógicas relevante

BR SPCLEARQ FAIA-PIm-EL-IT434
Item
1976-09-16 - 1976-10-07

Parte de Ayda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.

Ayda Ignez Arruda

Estudo tratando sobre sistemas lógicos sem a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT435
Item

Parte de Ayda 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

A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias

BR SPCLEARQ FAIA-PIm-EL-IT437
Item
1974-12-05 - 1975-12-09

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.

Ayda Ignez Arruda

Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities

BR SPCLEARQ FAIA-PItm-IT442
Item
[1978-1980]

Parte de Ayda Ignez Arruda

Artigo, em inglês, de Newton C. A. da Costa e Robert G. Wolf, intitulado Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities. S.l., [1978-1980]. S.ass. 19p. dat.

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

Gödel’s collected works (A.S.L. Project)

BR SPCLEARQ FAIA-PItm-IT444
Item

Parte de Ayda Ignez Arruda

Estudo, em inglês, de Solomon Feferman, intitulado Gödel’s collected works (A.S.L. Project). Stanford University, USA, S.d. S.ass. 3p. dat.

Ayda Ignez Arruda

Tradução do artigo de Jean Leray

BR SPCLEARQ FAIA-PItm-IT449
Item

Parte de Ayda Ignez Arruda

Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Nome

Local

Assunto

Nível de descrição

Tipo de mídia

Mostrando 743 resultados