Mostrando 32 resultados

Descrição arquivística
Publicação
BR SPCLEARQ AIA_I_78 · Item · 1965
Parte de Ayda Ignez Arruda

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_11 · Item · 1977
Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_I_12 · Item · 1978-06
Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA_AA_Fapesp_DRAMM_2 · Item · 1978-08-18
Parte de Ayda Ignez Arruda

Carta de AIA para William Saad Hossne, diretor científico da Fapesp, encaminhando o relatório referente à bolsa de mestrado concedida a Regina Aparecida Munhoz Moreno.

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_PIm_V_7 · Item · [1982]
Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda
Carta de agradecimento
BR SPCLEARQ AIA_C_Ca_52 · Item · 1982-01-27
Parte de Ayda Ignez Arruda

Carta, em inglês, de AIA a Richard, agradecendo sua correspondência, enviando um artigo de Vasil'év de 1912, com tradução em português, e informando sobre suas atividades científicas e administrativas. Campinas, 27 jan. 1982. Ass.: Ayda. 1p. dat.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA_C_Ca_60 · Item · 1982-03-30
Parte de Ayda Ignez Arruda

Carta, em inglês, de AIA a Sava Petrov, mencionando a crise na Universidade, comunicando que está escrevendo outro artigo sobre a lógica de Vasil'év e o envio de dois artigos sobre esse assunto. S.l., 30 mar. 1982. S.ass. 1p. dat. cópia.

Ayda Ignez Arruda
Carta de informações
BR SPCLEARQ AIA_C_Ca_49 · Item · 1982-05-31
Parte de Ayda Ignez Arruda

Carta, em inglês, de AIA a Paolo Bottura, informando que está tentando tirar cópias dos textos de Vasil'év e que gostaria de obter cópias da tradução para o inglês. Campinas, 31 maio 1982. S.ass. 1p. dat.

Ayda Ignez Arruda
Resumo
BR SPCLEARQ AIA_PIm_V_5 · Item · [1983]
Parte de 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

Ayda Ignez Arruda
Publicação
BR SPCLEARQ AIA_PIm_V_6 · Item · [1983]
Parte de 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.

Ayda Ignez Arruda