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-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
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
Carta de divulgação de publicação
BR SPCLEARQ AIA-C-Cp-33 · Item · 1982-12-22
Parte de Ayda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, comunicando a publicação de trabalho e enviando separatas. S.l., 22 dez. 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-Cp-32 · Item · 1982-10-25
Parte de Ayda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, informando sobre os trabalhos a serem publicados e desejando sua recuperação. S.l., 25 out. 1982. Ass.: Diderik. 1p. dat.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA-C-Cp-31 · Item · 1982-08-05
Parte de Ayda Ignez Arruda

Carta, em inglês, de Diderik Batens para AIA, lamentando seus problemas de saúde e comentando sobre o trabalho escrito por ambos. Gent, 05 ago. 1982. Ass.: Diderik. 1p. dat.

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