Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Mostrando 5150 resultados

Descripción archivística

Imprimir vista previa Ver :

Ordenar por:

Dirección:

1786 resultados con objetos digitales Muestra los resultados con objetos digitales

Carta de Jorge Forbes

Carta de Jorge Forbes

BR SPCLEARQ FNCAC-Cp-IT42
Unidad documental simple

Parte deNewton Carneiro Affonso da Costa

Carta de Jorge Forbes à NCAC encaminhando correspondência recebida de Paulo Roberto Ribeiro sobre aplicação da lógica paraconsistente referente ao inconsciente. Rio de Janeiro, 22 dez. 1997. 2p.

Carta de Francisco Miró Quesada

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT42
Unidad documental simple
1982-09-02

Parte deNewton Carneiro Affonso da Costa

Carta de JCVM à ASSUC

BR SPCLEARQ CJCVM-C-Ca-IT42
Unidad documental simple
1991-05-14

Parte deJosé Carlos Valladão de Mattos

Carta de JCVM à ASSUC solicitando que esta entidade procure comprovar e avaliar os fatos apontados em sua denúncia. as. José Carlos Valladão de Mattos.

Sin título

Regresso de Genebra

Regresso de Genebra

BR SPCLEARQ JCR-F-IT42
Unidad documental simple
1955-08-21

Parte deJoaquim da Costa Ribeiro

Joaquim da Costa Ribeiro desembarcando.

Sin título

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT42
Unidad documental simple
[1968/10/24]

Parte deWalter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Sin título

Encontro Nacional de Filosofia - ANPOF, 8

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT42
Unidad documental simple
25-30 set. 1998

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

Osvaldo Giacoia Jr.

Sin título

BR SPCLEARQ FAIA-PIm-EL-IT420
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

Sin título

Sistemas formais inconsistentes e teorias de conjuntos

BR SPCLEARQ FAIA-PIm-EL-IT421
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms.

Sin título

Sobre a regra do Modus Ponens

BR SPCLEARQ FAIA-PIm-EL-IT422
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Sobre Certos Sistemas de Lógica Relevante

BR SPCLEARQ FAIA-PIm-EL-IT423
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sobre Certos Sistemas de Lógica Relevante. S.l., S.d. S.ass. 11p. ms.

Sin título

Sobre o Sistema G1 de Gentzen

BR SPCLEARQ FAIA-PIm-EL-IT424
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Sin título

Sur l’ensemble R dans NFw

BR SPCLEARQ FAIA-PIm-EL-IT425
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Sin título

Teorema da Dedução para Teorias de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT426
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Teorema de Completude para teorias de primeira ordem

BR SPCLEARQ FAIA-PIm-EL-IT427
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms.

Sin título

Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P

BR SPCLEARQ FAIA-PIm-EL-IT428
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.

Sin título

Unidade de opostos

BR SPCLEARQ FAIA-PIm-EL-IT429
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

Sin título

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT43
Unidad documental simple
[1968/10/24]

Parte deWalter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Sin título

Carta de Jorge Forbes

BR SPCLEARQ FNCAC-Cp-IT43
Unidad documental simple
2000-06-02

Parte deNewton Carneiro Affonso da Costa

Carta de Jorge Forbes à NCAC perguntando ao mesmo, qual é a função da elegância e da beleza nas decisões criativas. 02 jun. 2000. 1p.

Encontro Nacional de Filosofia - ANPOF, 8

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT43
Unidad documental simple
25-30 set. 1998

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

Participantes do enconstro, entre eles: Jesus Vasques, Reinholdo Ulmann

Sin título

Carta de JCVM ao DCE/Unicamp

BR SPCLEARQ CJCVM-C-Ca-IT43
Unidad documental simple
1991-05-14

Parte deJosé Carlos Valladão de Mattos

Carta de JCVM ao DCE/Unicamp solicitando a comprovação e avaliação dos fatos apontados em sua denúncia. Ass. JCVM

Sin título

Conferência Internacional sobre usos pacíficos de Energia Atômica

Conferência Internacional sobre usos pacíficos de Energia Atômica

BR SPCLEARQ JCR-F-IT43
Unidad documental simple
1955-08-21 - ?

Parte deJoaquim da Costa Ribeiro

H. Bhabha, Joaquim da Costa Ribeiro e outros

Carta de Francisco Miró Quesada

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT43
Unidad documental simple
1982-11-25

Parte deNewton Carneiro Affonso da Costa

Notas para a História da Lógica, História, e Variedades da Lógica

BR SPCLEARQ FAIA-PIm-EL-IT430
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, contendo partes intituladas Notas para a História da Lógica, História, e Variedades da Lógica. S.l., S.d. S.ass. 15p. ms.

Sin título

Estudos analisando vários aspectos da lógica

BR SPCLEARQ FAIA-PIm-EL-IT431
Unidad documental simple
1975-09-05

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Sin título

Estudos contendo tópicos sobre axiomas

BR SPCLEARQ FAIA-PIm-EL-IT432
Unidad documental simple

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

Sin título

Estudos tratando sobre vários aspectos pertinentes à lógica relevante

BR SPCLEARQ FAIA-PIm-EL-IT433
Unidad documental simple
1976-08-29

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.

Sin título

Caderno contendo anotações sobre lógicas relevante

BR SPCLEARQ FAIA-PIm-EL-IT434
Unidad documental simple
1976-09-16 - 1976-10-07

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

Sin título

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

BR SPCLEARQ FAIA-PIm-EL-IT435
Unidad documental simple

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

Sin título

Estudo sobre a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT436
Unidad documental simple

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

Sin título

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

BR SPCLEARQ FAIA-PIm-EL-IT437
Unidad documental simple
1974-12-05 - 1975-12-09

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

Sin título

Resultados 4261 a 4290 de 5150

« Previa
1
...
140
141
142
143
144
145
146
...
172
Siguiente »