Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

BR SPCLEARQ FAIA-C-Ct
Subseries

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

BR SPCLEARQ FAIA-C-Ct-IT350
Item

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.

Untitled

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

BR SPCLEARQ FAIA-PIm-A-IT364
Item

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-PIm-V-IT373
Item

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-PIm-V-IT374
Item

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-PIm-V-IT376
Item

Part of 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.

Untitled

Estudo de AIA Silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT380
Item

Part of Ayda Ignez Arruda

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

Untitled

Estudo de AIA sem título

BR SPCLEARQ FAIA-PIm-V-IT383
Item

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-PIm-V-IT385
Item

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-PIm-SC-IT386
Item

Part of Ayda Ignez Arruda

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

Untitled

Estudo de AIA sobre dualidade entre C1 e C1

BR SPCLEARQ FAIA-PIm-SC-IT393
Item

Part of Ayda Ignez Arruda

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

Untitled

Cálculo de predicados de ordem superior

BR SPCLEARQ FAIA-PIm-CP-IT395
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.

Untitled

Decidibilidade do cálculo implicativo clássico

BR SPCLEARQ FAIA-PIm-CP-IT399
Item

Part of Ayda Ignez Arruda

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

Untitled

Independência de axiomas

BR SPCLEARQ FAIA-PIm-CP-IT402
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

Untitled

Aspects of the Historical Development of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-EL-IT408
Item

Part of 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.

Untitled

Abstract da palestra Implicative Systems and Modus Ponens Rule

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

Part of 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.

Untitled

Observações sobre os sistemas NFi

BR SPCLEARQ FAIA-PIm-EL-IT416
Item

Part of Ayda Ignez Arruda

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

Untitled

Sobre a regra do Modus Ponens

BR SPCLEARQ FAIA-PIm-EL-IT422
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

Untitled

Teorema da Dedução para Teorias de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT426
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.

Untitled

Estudos contendo tópicos sobre axiomas

BR SPCLEARQ FAIA-PIm-EL-IT432
Item

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-PIm-EL-IT435
Item

Part of 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.

Untitled

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

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

Part of 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.

Untitled

Tradução do artigo de Jean Dieudonné

BR SPCLEARQ FAIA-PItm-IT443
Item

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-PItm-IT444
Item

Part of 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.

Untitled

Tradução do artigo de Jean Leray

BR SPCLEARQ FAIA-PItm-IT449
Item

Part of 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.

Untitled

Estudo de Andréa Loparic

BR SPCLEARQ FAIA-PItm-IT451
Item
1975-12-13

Part of 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.

Untitled

Projeto Sistemas de Bibliotecas da Unicam

BR SPCLEARQ FAIA-PItm-IT452
Item
1983-08

Part of Ayda Ignez Arruda

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

Untitled

Las concepciones logicas de N.A. Vasil’év