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

Ofício IMECC/DI/n.070/81 de Antonio Conde

BR SPCLEARQ FAIA-C-Ct-IT338
Item
? - 1981-11-17

Ofício IMECC/DI/n.070/81 de Antonio Conde, diretor associado do IMECC, ao reitor da Unicamp, informando sua viagem à Brasília. Cidade Universitária Prof. Zeferino Vaz, 17 nov. 1981. Ass.: Antonio Conde. 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 Antonio Diego para Carlos E. Meyer

BR SPCLEARQ FAIA-C-Ct-IT340
Item
? - 1970-11-23

Part of Ayda Ignez Arruda

Carta, em espanhol, de Antonio Diego para Carlos E. Meyer aceitando participar da banca examinadora de Luiz F. Monteiro. Bahía Blanca, 23 nov. 1970. Ass.: Antonio Diego. 1p. dat. cópia.

Untitled

Carta de George Glauberman a Said Sidki

BR SPCLEARQ FAIA-C-Ct-IT342
Item
? - 1976-05-20

Part of Ayda Ignez Arruda

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

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

Ofício n. 117/76-M de Martha Maria Mischan

BR SPCLEARQ FAIA-C-Ct-IT348
Item
? - 1976-11-29

Part of Ayda Ignez Arruda

Ofício n. 117/76-M de Martha Maria Mischan para Herman Rohrer, agradecendo a colaboração do IMECC na elaboração do plano de estudos. Botucatu, 29 nov. 1976. Ass.: Martha Mischan. 1p. dat. cópia.

Untitled

Carta de Bruce I. Rose

BR SPCLEARQ FAIA-C-Ct-IT341
Item
? - 1976-05-13

Part of Ayda Ignez Arruda

Carta, em inglês, de Bruce I. Rose, solicitando auxílio para tentar obter o cargo de professor numa universidade brasileira e informando sobre seus trabalhos científicos. Chicago, 13 maio 1976. Ass.: Bruce I. Rose. 1p. dat. cópia.

Untitled

Ofício GR-015/80 de Plínio Alves de Moraes

BR SPCLEARQ FAIA-C-Ct-IT349
Item
? - 1980-01-09

Part of Ayda Ignez Arruda

Ofício GR-015/80 de Plínio Alves de Moraes, reitor da Unicamp, a Ubiratan D’Ambrósio, diretor do IMECC, solicitando a elaboração de lista sêxtupla para a escolha do novo diretor. Campinas, 09 jan. 1980. Ass.: Plínio Alves de Moraes. 1p. dat. cópia

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

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

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361
Item

Part of Ayda Ignez Arruda

Artigo de AIA intitulado Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes, analisando cálculos proposicionais denominados P e P*. S.l., S.d. S.ass. 11p. dat.

Untitled

Alguns Cálculos Proposicionais para Sistemas Dedutivos Inconsistentes

BR SPCLEARQ FAIA-PIm-A-IT361-IT361
Item

Part of Ayda Ignez Arruda

Silogismos Não-Aristotélicos

BR SPCLEARQ FAIA-PIm-A-IT365
Item

Part of Ayda Ignez Arruda

Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.

Untitled

Vasil'év

BR SPCLEARQ FAIA-PIm-V
Subseries

Part of Ayda Ignez Arruda

Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”

BR SPCLEARQ FAIA-PIm-V-IT375
Item

Part of Ayda Ignez Arruda

Resumo, em inglês, do trabalho de AIA a ser apresentado no VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência em Salzburg, intitulado "N.A. Vasilév: a Forerunner of Paraconsistent Logic". [IMECC, 1983]. S.ass. 5p. dat. cópia

Untitled

Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"

BR SPCLEARQ FAIA-PIm-V-IT378
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.

Untitled

Estudo de AIA Desenvolvimento de C1

BR SPCLEARQ FAIA-PIm-SC-IT387
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Desenvolvimento de C1. S.l., S.d. S.ass. 5p. ms. cópia.

Untitled

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Untitled

Decidibilidade do cálculo implicativo clássico

BR SPCLEARQ FAIA-PIm-CP-IT400
Item

Part of Ayda Ignez Arruda

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

Untitled

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Untitled

Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT404
Item

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-PIm-CP-IT405
Item

Part of 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.

Untitled

Artigo cálculos proposicionais

BR SPCLEARQ FAIA-PIm-EL-IT406
Item

Part of 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.

Untitled

Observações sobre um sistema sem a regra do modus ponens