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

Regresso de Genebra

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

Parte de Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro

Carta de JCVM a Carlos Alberto Vogt

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

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

José Carlos Valladão de Mattos

Encontro Nacional de Filosofia - ANPOF, 8

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

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

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

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

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

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

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

Artigo cálculos proposicionais

BR SPCLEARQ FAIA-PIm-EL-IT406
Item

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PIm-CP-IT405
Item

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

Ayda Ignez Arruda

Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT404
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Item

Parte de Ayda Ignez Arruda

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

Função de verdade e matrizes

BR SPCLEARQ FAIA-PIm-CP-IT401
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Decidibilidade do cálculo implicativo clássico

BR SPCLEARQ FAIA-PIm-CP-IT400
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Experiência com iças

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

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Carta de JCVM à Diretoria da Adunicamp

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

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

José Carlos Valladão de Mattos

Regresso de Genebra

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

Parte de Joaquim da Costa Ribeiro

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

Joaquim da Costa Ribeiro

Universidade de Toulouse

BR SPCLEARQ MMD-F-IT40
Item
Michel Maurice Debrun

Parte de Michel Maurice Debrun

Michel Debrun no centro

Encontro Nacional de Filosofia - ANPOF, 8

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

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

Participantes do encontro

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

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

Capítulo II: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT398
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Capítulo I: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT397
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

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

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

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. 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

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 sobre a completude de C+