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

Projeto Sistemas de Bibliotecas da Unicam

BR SPCLEARQ FAIA-PItm-IT452
Item
1983-08

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

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

Une étude sémantique de quelques calculs propositionnels

BR SPCLEARQ FAIA-PItm-IT450
Item

Parte de Ayda Ignez Arruda

Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.

Ayda Ignez Arruda

Encontro Nacional de Filosofia - ANPOF, 8

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

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

Jayme Paviani, Eliana Cristina Rueda

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

Reprodução de notícia publicada no Jornal do Commercio de Pernambuco

BR SPCLEARQ JCR-F-IT45
Item
1955-08-24

Parte de Joaquim da Costa Ribeiro

Niels Bohr/Joaquim da Costa Ribeiro e Otto Hahn

Joaquim da Costa Ribeiro

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT45
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 a Carlos Alberto Vogt

BR SPCLEARQ CJCVM-C-Ca-IT45
Item
1991-06-18

Parte de José Carlos Valladão de Mattos

Carta de JCVM a Carlos Alberto Vogt, Reitor da Unicamp, informando que não foi atendida sua solicitação quanto o recebimento da ata da reunião da Congregação do IFGW, realizada no dia 19/04, na qual foi elaborada a lista tríplice para a escolha do novo diretor da unidade. Ass. JCVM

José Carlos Valladão de Mattos

Tradução do artigo de Jean Leray

BR SPCLEARQ FAIA-PItm-IT449
Item

Parte de Ayda Ignez Arruda

Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Generalization of some results of Elie Sanchez

BR SPCLEARQ FAIA-PItm-IT448
Item
[1982-1983]

Parte de Ayda Ignez Arruda

Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT447
Item
[1983]

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT446
Item

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

Ayda Ignez Arruda

Teorias Recursivas, Creativas y Productivas

BR SPCLEARQ FAIA-PItm-IT445
Item

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT444
Item

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

Ayda Ignez Arruda

Tradução do artigo de Jean Dieudonné

BR SPCLEARQ FAIA-PItm-IT443
Item

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PItm-IT442
Item
[1978-1980]

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

Ayda Ignez Arruda

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-PItm-IT441
Item
[1974-1976]

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

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

Experiência com iças

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

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

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
Item
1955-08-21 - ?

Parte de Joaquim 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
Item
1991-05-29

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

José Carlos Valladão de Mattos

Encontro Nacional de Filosofia - ANPOF, 8

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

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

Eliana Cristina Rueda, Giovanni da Silva Queiroz

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

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

Teoria de Conjuntos R e cálculos diversos

BR SPCLEARQ FAIA-PIm-EL-IT438
Item

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

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-PIm-EL-IT437
Item
1974-12-05 - 1975-12-09

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

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

Caderno contendo anotações sobre lógicas relevante

BR SPCLEARQ FAIA-PIm-EL-IT434
Item
1976-09-16 - 1976-10-07

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

Ayda Ignez Arruda

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