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

Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik

BR SPCLEARQ FAIA-PItm-IT447
Unidad documental simple
[1983]

Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.

Sin título

Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos

BR SPCLEARQ FAIA-PItm-IT446
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em espanhol, de Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos. S.l., S.d. S.ass. 9p. dat. cópia.

Sin título

Teorias Recursivas, Creativas y Productivas

BR SPCLEARQ FAIA-PItm-IT445
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo, em espanhol, de José Fernández-Prida, intitulado Teorias Recursivas, Creativas y Productivas. S.l., S.d. S.ass. 15p. dat. cópia.

Sin título

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

BR SPCLEARQ FAIA-PItm-IT444
Unidad documental simple

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

Sin título

Tradução do artigo de Jean Dieudonné

BR SPCLEARQ FAIA-PItm-IT443
Unidad documental simple

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

Sin título

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

BR SPCLEARQ FAIA-PItm-IT442
Unidad documental simple
[1978-1980]

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

Sin título

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-PItm-IT441
Unidad documental simple
[1974-1976]

Parte deAyda Ignez Arruda

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Sin título

Estudo contendo vários teoremas

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

Parte deAyda Ignez Arruda

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

Sin título

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT44
Unidad documental simple
1983-01-20

Parte deNewton Carneiro Affonso da Costa

Experiência com iças

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

Parte deWalter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Sin título

Conferência Internacional sobre usos pacíficos de Energia Atômica. Presidência da seção 10b: "Ocorrências de Urânio, Genebra, Suíça”

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

Parte deJoaquim da Costa Ribeiro

Joaquim da Costa Ribeiro/Paul F. Kerr e outros. Dedicatória de Paul F. Ker with very finest memories

Carta de JCVM à Diretoria da Adunicamp

BR SPCLEARQ CJCVM-C-Ca-IT44
Unidad documental simple
1991-05-29

Parte deJosé Carlos Valladão de Mattos

Carta de JCVM à Diretoria da ADUNICAMP reiterando a solicitação de verificação de suas denúncias sobre o processo de escolha do diretor do IFGW já protocoladas anteriormente. Ass. JCVM

Sin título

Cartão de Jorge Forbes

BR SPCLEARQ FNCAC-Cp-IT44
Unidad documental simple
2001-04-10

Parte deNewton Carneiro Affonso da Costa

Cartão de Jorge Forbes à NCAC informando ter ficado entristecido com as declarações dadas por NCAC ao Caderno Mais! 10 abr. 2001.1p. (ms).

Encontro Nacional de Filosofia - ANPOF, 8

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

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

Eliana Cristina Rueda, Giovanni da Silva Queiroz

Sin título

Estudo contendo demonstrações de vários teoremas

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

Parte deAyda Ignez Arruda

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

Sin título

Teoria de Conjuntos R e cálculos diversos

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

Parte deAyda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. 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

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

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

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

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