Mostrando 21 resultados

Descrição arquivística
Relação de Membros
BR SPCLEARQ AIA-DP-13 · Item · s.d.
Parte de Ayda Ignez Arruda

Relação dos membros da Sociedade Brasileira de Lógica com seus respectivos endereços

Relação de Membros
BR SPCLEARQ AIA-DP-13 · Item · s.d.
Parte de Ayda Ignez Arruda

Relação dos membros da Sociedade Brasileira de Lógica com seus respectivos endereços

Publicação
BR SPCLEARQ AIA-I-30 · Item · 1982-06
Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-PIm-A-5 · Item · [1981]
Parte de 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.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA-I-45 · Item · 1980-06 - 1980-09
Parte de Ayda Ignez Arruda

BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.

Ayda Ignez Arruda
Carta de solicitação
BR SPCLEARQ AIA-C-Cp-29 · Item · 1982-05-04
Parte de Ayda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, comunicando envio de artigo e solicitando correções. Gent, 04 maio 1982. Ass.: Diderik. 1p. dat.

Ayda Ignez Arruda
Carta de solicitação
BR SPCLEARQ AIA-C-Cp-30 · Item · 1982-07-17
Parte de Ayda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, informando problemas com publicação feita em conjunto e solicitando correções em artigo. Gent, 17 jul. 1982. Ass.: Diderik. 4p. dat.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-C-Ca-19 · Item · 1982-05-11
Parte de Ayda Ignez Arruda

Carta, em inglês, de AIA a Diderik Batens, acusando recebimento de sua carta e da segunda versão de seu paper, dizendo ter alguns comentários sobre ele, e informando seu retorno à direção do IMECC.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-C-Ca-20 · Item · 1982-06-17
Parte de Ayda Ignez Arruda

Carta, em inglês, de AIA a Diderik Batens, comunicando a finalização do paper (enviado em outro envelope), informando que recebeu proposta da Reidel para publicar seu livro e que planeja ir a Salzburgo

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-C-Ca-22 · Item · 1982-11-29
Parte de Ayda Ignez Arruda

Carta, em inglês, de AIA ao Prof. Diderik Batens, comunicando o final do seu tratamento e que está se sentindo bem, e agradecendo a rapidez com que foi publicado o artigo. Campinas, 29 nov. 1982. S.ass.1p. dat. cópia.

Ayda Ignez Arruda