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

BR SPCLEARQ FAIA-C-Cp-IT309
Item
? - 1982-01-19

Carta, em espanhol, de M. Dickmann para AIA, comunicando seu interesse em vir à Campinas quando de sua participação no VI SLALM e solicitando uma resposta quanto sua vinda ao Brasil. Paris, 19 jan. 1982. Ass.: Marcel Dickmann. 1p.

Untitled

Carta de Marek Palasinski para AIA

BR SPCLEARQ FAIA-C-Cp-IT311
Item
? - 1983-01-14

Part of Ayda Ignez Arruda

Carta, em inglês, de Marek Palasinski para AIA, comunicando seu interesse em vir para o Brasil e relatando suas atividades na Polônia. Cracóvia, 14 jan. 1983. Ass.: Marek. 1p. ms.

Untitled

Carta de Nicola Grana para AIA

BR SPCLEARQ FAIA-C-Cp-IT314
Item

Part of Ayda Ignez Arruda

Carta, em inglês, de Nicola Grana para AIA, enviando trabalho e solicitando outros ainda não publicados na Itália. S.l., S.d. Ass.: Nicola Grana. 1p. ms.

Untitled

Carta de Richard Routley para AIA

BR SPCLEARQ FAIA-C-Cp-IT324
Item
? - 2002-11

Part of Ayda Ignez Arruda

Carta, em inglês, de Richard Routley para AIA, comentando sobre seus trabalhos e sobre o livro Paraconsistent Logic. Austrália, 11 fev. - . Ass.: Richard. 1p. ms.

Untitled

Comunicado da Universität Erlangen-Nürnberg

BR SPCLEARQ FAIA-C-Ct-IT343
Item
? - 1976-06-11

Part of Ayda Ignez Arruda

Comunicado, em alemão, da Universität Erlangen-Nürnberg, informando o interesse de algumas unidades da Unicamp em colaborar com universidades alemãs. Erlangen, 11 jun. 1976. Ass.: Hermann Rohrer; W. Händler. 1p. dat. cópia.

Untitled

Carta de José Norberto Walter Dachs

BR SPCLEARQ FAIA-C-Ct-IT346
Item
? - 1976-05-16

Part of Ayda Ignez Arruda

Carta de José Norberto W. Dachs, coordenador da CPG-IMECC, a Ubiratan D?Ambrósio, diretor do IMECC, solicitando reconhecimento de diplomas estrangeiros. Campinas, 16 maio 1976. Ass.: Carlos Segovia. 1p. dat.

Untitled

Carta de Roman Sikorski para Universidad Nacional del Sur

BR SPCLEARQ FAIA-C-Ct-IT352
Item
? - 1971-03-13

Part of Ayda Ignez Arruda

Carta, em inglês, de Roman Sikorski para Universidad Nacional del Sur, recomendando a aprovação da dissertação de doutorado de Luiz Monteiro. Warszawa, 13 mar. 1971. Ass.: R. Sikorsi. 1p. dat. cópia.

Untitled

Carta de Ubiratan D’Ambrósio

BR SPCLEARQ FAIA-C-Ct-IT355
Item
? - 1976-11-23

Part of Ayda Ignez Arruda

Carta de Ubiratan D’Ambrósio, diretor do IMECC, a H. Roher, convidando-o para participar de banca examinadora do exame de qualificação do doutorado de Lilian Torng Sheng. Campinas, 23 nov. 1976. Ass.: ( ___ ). 1p. dat. cópia.

Untitled

Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio

BR SPCLEARQ FAIA-C-Ct-IT356
Item
? - 1979-12-18

Part of Ayda Ignez Arruda

Ofício IMECC/SP-906/79 de Ubiratan D’Ambrósio, diretor do IMECC, a Plínio Alves de Moraes, reitor da Unicamp, enviando lista tríplice da eleição para diretor do IMECC. S.l., 18 dez. 1979. Ass.: Ubiratan D?Ambrósio. 1p. dat. cópia.

Untitled

Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes

BR SPCLEARQ FAIA-C-Ct-IT357
Item
? - 1980-03-05

Part of Ayda Ignez Arruda

Ofício IMECC/SP-172/80 de Ubiratan D’Ambrósio a Plínio Alves de Moraes, reitor da Unicamp, encaminhando o resultado da lista sêxtupla e como se deu a eleição para a direção do IMECC. S.l., 05 mar. 1980. Ass.: Ubiratan D?Ambrósio. 1p. dat. cópia.

Untitled

Carta de Angus Macintyre a Said Sidki

BR SPCLEARQ FAIA-C-Ct-IT335
Item
? - 1976-05-18

Part of Ayda Ignez Arruda

Carta, em inglês, de Angus Macintyre a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 18 maio 1976. Ass.: Angus Macintyre. 1p. dat. cópia.

Untitled

Carta de Antonio Conde

BR SPCLEARQ FAIA-C-Ct-IT339
Item
? - 1982-04-12

Part of Ayda Ignez Arruda

Carta de Antonio Conde, diretor associado em exercício de direção do IMECC, a Andrés R. Raggio, convidando este último a proferir uma palestra. Cidade Universitária ?Zeferino Vaz?, 12 abr. 1982. Ass.: Antonio Conde. 1p. dat.

Untitled

Carta de John T. Baldwin a Said Sidki

BR SPCLEARQ FAIA-C-Ct-IT345
Item
? - 1976-05-28

Part of Ayda Ignez Arruda

Carta, em inglês, de John T. Baldwin a Said Sidki, chefe do departamento de matemática da Universidade de Brasília, recomendando Bruce Rose para o preenchimento de vaga. S.l., 28 maio 1976. Ass.: John T. Baldwin. 1p. dat. cópia.

Untitled

Carta de Richard [Routley] para Newton C. A. da Costa

BR SPCLEARQ FAIA-C-Ct-IT350
Item

Part of Ayda Ignez Arruda

Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. dat.

Untitled

Carta de Ubiratan D’Ambrósio

BR SPCLEARQ FAIA-C-Ct-IT355
Item
? - 1976-11-23

Part of Ayda Ignez Arruda

Carta de Ubiratan D’Ambrósio, diretor do IMECC, a H. Roher, convidando-o para participar de banca examinadora do exame de qualificação do doutorado de Lilian Torng Sheng. Campinas, 23 nov. 1976. Ass.: ( ___ ). 1p. dat. cópia.

Untitled

Carta de recomendação de Weiner Krabs

BR SPCLEARQ FAIA-C-Ct-IT358
Item
? - 1981-08-06

Part of Ayda Ignez Arruda

Carta de recomendação, em alemão, de Weiner Krabs, comentando sobre as habilidades do aluno Plínio Stange. Darmstadt, 06 ago. 1981. Ass.: Werner Krabs. 1p. dat. cópia.

Untitled

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

BR SPCLEARQ FAIA-PIm-A-IT364
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

Untitled

Resenha sobre Lógica e Metalógica, de N. A. Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT373
Item

Part of Ayda Ignez Arruda

Resenha de AIA, sobre o texto Lógica e Metalógica, de N. A. Vasil'év. S.l., S.d. S.ass. 2p. ms.

Untitled

Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT374
Item

Part of Ayda Ignez Arruda

Resenha de AIA, sobre o texto Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év. S.l., S.d. S.ass. 12p. dat.

Untitled

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT376
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

Untitled

Estudo de AIA Silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT380
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

Untitled

Estudo de AIA sem título

BR SPCLEARQ FAIA-PIm-V-IT383
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

Untitled

Estudo de AIA sobre Vasil'ev e a lógica paraconsistente

BR SPCLEARQ FAIA-PIm-V-IT385
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.l., S.d. S.ass. 14p. dat.

Untitled

Estudo de AIA Capítulo I: Os Cálculos Cn

BR SPCLEARQ FAIA-PIm-SC-IT386
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Os Cálculos Cn. S.l., S.d. S.ass. 18p. dat. cópia.

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

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

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

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

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

Abstract da palestra Implicative Systems and Modus Ponens Rule

BR SPCLEARQ FAIA-PIm-EL-IT412
Item
1972-07

Part of Ayda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Untitled

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 697 results