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

Encontro Nacional de Filosofia - ANPOF, 9

BR SPCLEARQ CANPOF-F-IT99
Item
3-8 out. 2000

Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)

Bento Prado Jr.

Associação Nacional de Pós-graduação em Filosofia

Entrega de trabalho a Getúlio Vargas

BR SPCLEARQ JCR-F-IT22
Item
1952-09-10

Parte de Joaquim da Costa Ribeiro

Álvaro Alberto da Mota e Silva apresenta ao presidente Getúlio Vargas a exposição de motivos em que o Conselho Nacional de Pesquisas solicita a criação do Instituto Nacional da Amazômia

Joaquim da Costa Ribeiro

Entrevista a Michel Debrun

BR SPCLEARQ MMD-F-IT29
Item
Michel Maurice Debrun

Parte de Michel Maurice Debrun

Michel Debrun em entrevista ao Jornal do Brasil

Entrevista a Michel Debrun

BR SPCLEARQ MMD-F-IT30
Item
Michel Maurice Debrun

Parte de Michel Maurice Debrun

Michel Debrun em entrevista ao Jornal do Brasil

Esboços de Debrun

BR SPCLEARQ MMD-U-I-ED

Parte de Michel Maurice Debrun

Escola matemática polonesa

BR SPCLEARQ FAIA-Impr-IT562
Item
1964-02

Parte de Ayda Ignez Arruda

SIERPINSKI, Waclaw. Escola matemática polonesa. Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 7, n. 1, p. 1-16, fev. 1964.

Ayda Ignez Arruda

Escudos times de futebol

BR SPCLEARQ FMTT-FB-IT14
Item

Parte de Mario Tourasse Teixeira

Mario Tourasse Teixeira

Escudos times de futebol 2

BR SPCLEARQ FMTT-FB-IT16
Item

Parte de Mario Tourasse Teixeira

Mario Tourasse Teixeira

Estudo contendo demonstrações de vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT439
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.

Ayda Ignez Arruda

Estudo contendo vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT440
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.

Ayda Ignez Arruda

Estudo de AIA

BR SPCLEARQ FAIA-PIm-SC-IT392
Item

Parte de Ayda Ignez Arruda

Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.

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 Desenvolvimento de C1

BR SPCLEARQ FAIA-PIm-SC-IT387
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Desenvolvimento de C1. S.l., S.d. S.ass. 5p. ms. cópia.

Ayda Ignez Arruda

Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"

BR SPCLEARQ FAIA-PIm-V-IT378
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.

Ayda Ignez Arruda

Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana

BR SPCLEARQ FAIA-PIm-V-IT379
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. 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 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 sobre a silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT384
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms

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

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 Teoremas em Cw

BR SPCLEARQ FAIA-PIm-SC-IT389
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.

Ayda Ignez Arruda

Estudo de AIA tratando sobre completude, consistência e decidibilidade de C

BR SPCLEARQ FAIA-PIm-SC-IT390
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, tratando sobre completude, consistência e decidibilidade de C. S.l., S.d. S.ass. 12p. ms.

Ayda Ignez Arruda

Estudo de AIA, Sobre a Lógica da Vaguidade

BR SPCLEARQ FAIA-PIm-SC-IT388
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. 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

Estudo sobre a completude de C+

BR SPCLEARQ FAIA-PIm-SC-IT391
Item

Parte de Ayda Ignez Arruda

Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

Ayda Ignez Arruda

Estudo sobre a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT436
Item

Parte de Ayda Ignez Arruda

Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. 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

Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic

BR SPCLEARQ FAIA-PIm-V-IT382
Item

Parte de Ayda Ignez Arruda

Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.

Ayda Ignez Arruda

Estudos analisando vários aspectos da lógica