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

Regresso de Genebra

BR SPCLEARQ JCR-F-IT41
Item
1955-08-21

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro

Untitled

Carta de JCVM a Carlos Alberto Vogt

BR SPCLEARQ CJCVM-C-Ca-IT41
Item
1991-05-06

Part of José Carlos Valladão de Mattos

Carta de JCVM a Carlos Alberto Vogt, Reitor da Unicamp, questionando a sua resposta sobre as denúncias formuladas e requerendo a submissão da carta-denúncia ao Conselho Diretor. Ass. JCVM.

Untitled

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT41
Item
25-30 set. 1998

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

Participantes do encontro: Eliana Cristina Rueda, José Ternes, Jayme Paviani

Untitled

Cálculos Implicativos Gerais

BR SPCLEARQ FAIA-PIm-EL-IT409
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. 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

A teoria de primeira ordem v

BR SPCLEARQ FAIA-PIm-EL-IT407
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Untitled

Artigo cálculos proposicionais

BR SPCLEARQ FAIA-PIm-EL-IT406
Item

Part of Ayda Ignez Arruda

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.

Untitled

Várias axiomáticas para o cálculo proposicional clássico

BR SPCLEARQ FAIA-PIm-CP-IT405
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.

Untitled

Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT404
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Untitled

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. 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

Função de verdade e matrizes

BR SPCLEARQ FAIA-PIm-CP-IT401
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.

Untitled

Decidibilidade do cálculo implicativo clássico

BR SPCLEARQ FAIA-PIm-CP-IT400
Item

Part of Ayda Ignez Arruda

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

Untitled

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT40
Item
[1968/10/24]

Part of Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Untitled

Carta de JCVM à Diretoria da Adunicamp

BR SPCLEARQ CJCVM-C-Ca-IT40
Item
1991-05-06

Part of José Carlos Valladão de Mattos

Carta de JCVM à Diretoria da ADUNICAMP encaminhando documentos para conhecimento e providências cabíveis. Ass. José Carlos Valladão de Mattos

Untitled

Regresso de Genebra

BR SPCLEARQ JCR-F-IT40
Item
1955-08-21

Part of Joaquim da Costa Ribeiro

Almirante Álvaro Alberto da Mota e Silva, Joaquim da Costa Ribeiro e outros

Untitled

Universidade de Toulouse

BR SPCLEARQ MMD-F-IT40
Item
Michel Maurice Debrun

Part of Michel Maurice Debrun

Michel Debrun no centro

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT40
Item
25-30 set. 1998

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

Participantes do encontro

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

Capítulo II: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT398
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.

Untitled

Capítulo I: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT397
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.

Untitled

Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT396
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. 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

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

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

Estudo de AIA

BR SPCLEARQ FAIA-PIm-SC-IT392
Item

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

Untitled

Estudo sobre a completude de C+