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

Carta de Antonio Diego para Carlos E. Meyer

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

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 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 José Norberto Walter Dachs

BR SPCLEARQ FAIA-C-Ct-IT347
Item
? - 1977-08-31

Part of Ayda Ignez Arruda

Carta de José Norberto Walter Dachs a Ubiratan D’Ambrósio, diretor do IMECC, solicitando providências para a aceitação de Cosimo Guido no doutorado em Matemática. Campinas, 31 ago. 1977. Ass.: José Roberto Walter Dachs. 1p. dat.

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 Rolando Chuaqui para Carlos E. Meyer

BR SPCLEARQ FAIA-C-Ct-IT351
Item
? - 1971-04-13

Part of Ayda Ignez Arruda

Carta, em espanhol, de Rolando Chuaqui para Carlos E. Meyer, agradecendo a correspondência deste e comentando a tese de Luiz F. Monteiro. Santiago, 13 abril. 1971. Ass.: Rolando Chuaqui. 1p. dat. cópia.

Untitled

Carta de Rubem A. Alves a José Aristodemo Pinotti

BR SPCLEARQ FAIA-C-Ct-IT353
Item
? - 1982-06-08

Part of Ayda Ignez Arruda

Carta de Rubem A. Alves a José Aristodemo Pinotti, reitor da Unicamp, declarando-se contra a realização de novas eleições para representante dos professores titulares. Campinas, 08 jun. 1982. Ass.: Rubem A. Alves. 2p. 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 W.W. Tait a Said Sidki

BR SPCLEARQ FAIA-C-Ct-IT359
Item
? - 1976-05-25

Part of Ayda Ignez Arruda

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

Untitled

Produção Intelectual Manuscrita

BR SPCLEARQ FAIA-PIm
Series

Part of Ayda Ignez Arruda

Artigos

BR SPCLEARQ FAIA-PIm-A
Subseries

Part of Ayda Ignez Arruda

Álgebras de conjuntos não-clássicas

BR SPCLEARQ FAIA-PIm-A-IT360
Item
? - 1966-10-17

Part of Ayda Ignez Arruda

Artigo de AIA, intitulado Álgebras de conjuntos não-clássicas. Universidade de São Paulo, 17 out. 1966. S.ass. 10p. dat. cópia.

Untitled

Observações sobre o conjunto de Russell

BR SPCLEARQ FAIA-PIm-A-IT362
Item

Part of Ayda Ignez Arruda

Artigo de AIA, intitulado Observações sobre o conjunto de Russell. IMECC, S.d. S.ass. 5p. dat.

Untitled

Resumo de AIA intitulado On Griss' Propositional Calculus

BR SPCLEARQ FAIA-PIm-A-IT363
Item

Part of Ayda Ignez Arruda

Resumo, em inglês, de AIA, intitulado On Griss' Propositional Calculus. S.l., S.d. S.ass. 1p. dat.

Untitled

Sur la Théorie des Sytèmes Formels Inconsistants

BR SPCLEARQ FAIA-PIm-A-IT367
Item

Part of Ayda Ignez Arruda

Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.

Untitled

Une sémantique pour le calcul C1=

BR SPCLEARQ FAIA-PIm-A-IT368
Item

Part of Ayda Ignez Arruda

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Untitled

Artigo sem título

BR SPCLEARQ FAIA-PIm-A-IT369
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

Untitled

Os sistemas P e P*,

BR SPCLEARQ FAIA-PIm-A-IT370
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

Untitled

Críticas de Smirnov à lógica de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT371
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

Untitled

Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT372
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.

Untitled

Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic

BR SPCLEARQ FAIA-PIm-V-IT382
Item

Part of Ayda Ignez Arruda

Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.

Untitled

Sistemas Cn, Cw e Relacionados