Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

BR SPCLEARQ FAIA-C-Cp-IT295
Item
1982-12-20

Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, agradecendo o cartão de natal recebido, retribuindo e desejando vê-la em breve em Tecklenburg. [Münster], 20 dez. 1982. Ass.: Kazem & Family. 1p. ms.

Ayda Ignez Arruda

Cartão postal de Leopoldo Nachbin

BR SPCLEARQ FAIA-C-Cp-IT304
Item

Parte deAyda Ignez Arruda

Cartão postal de Leopoldo Nachbin e demais participantes da reunião de Análise Funcional para AIA, desejando votos de breve retorno à direção do IMECC. Rio de Janeiro, S.d. Ass.: Leopoldo Nachbin; Mário Matos; Guido Zapata e outros. 1p. ms.

Ayda Ignez Arruda

Carta de Richard Routley para AIA

BR SPCLEARQ FAIA-C-Cp-IT325
Item

Parte deAyda Ignez Arruda

Carta, em inglês, de Richard Routley para AIA, comunicando sobre desenvolvimento de trabalhos científicos. Austrália, 26 abr. - . Ass.: Richard. 1p. ms.

Ayda Ignez Arruda

Cartão de Natal de Vladimir A. Smirnov para AIA

BR SPCLEARQ FAIA-C-Cp-IT334
Item

Parte deAyda Ignez Arruda

Cartão de Natal, em inglês, de Vladimir A. Smirnov para AIA, desejando votos de boas festas. Moscou, S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Produção Intelectual Manuscrita

BR SPCLEARQ FAIA-PIm
Série

Parte deAyda Ignez Arruda

Artigos

BR SPCLEARQ FAIA-PIm-A
Subsérie

Parte deAyda Ignez Arruda

Sistemas Cn, Cw e Relacionados

BR SPCLEARQ FAIA-PIm-SC
Subsérie

Parte deAyda Ignez Arruda

Cálculos Proposicionais, de Predicados e Matrizes

BR SPCLEARQ FAIA-PIm-CP
Subsérie

Parte deAyda Ignez Arruda

Estudos em Lógica

BR SPCLEARQ FAIA-PIm-EL
Subsérie

Parte deAyda Ignez Arruda

Considerações sobre os Sistemas Fomais NFn

BR SPCLEARQ FAIA-I-IT471
Item
1964

Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.

Ayda Ignez Arruda

On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability

BR SPCLEARQ FAIA-I-IT476
Item
1977

Parte deAyda 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

On the Imaginary Logic of N.A. Vasil'év

BR SPCLEARQ FAIA-I-IT477
Item
1978-06

Parte deAyda 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

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-I-IT485
Item
1969-03-24

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-I-IT486
Item
1967-11-20

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 265, p. 641-644, 20 nov. 1967

Ayda Ignez Arruda

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-I-IT499
Item
1974

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

BR SPCLEARQ FAIA-I-IT505
Item
1966-12,

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Ayda Ignez Arruda

Wroctaw: Polish Academy of Sciences

BR SPCLEARQ FAIA-I-IT519
Item
1979-10

Parte deAyda Ignez Arruda

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Ayda Ignez Arruda

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-I-IT524
Item
1964

Parte deAyda Ignez Arruda

COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

Ayda Ignez Arruda

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-I-IT526
Item
1976-06

Parte deAyda Ignez Arruda

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Ayda Ignez Arruda

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-I-IT541
Item
1969

Parte deAyda Ignez Arruda

JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.

Ayda Ignez Arruda

O que é o Impa?

BR SPCLEARQ FAIA-I-IT550
Item
1960-02

Parte deAyda Ignez Arruda

NACHBIN, Leopoldo. O que é o Impa? Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 3, n. 1, p. 1-12, fev. 1960.

Ayda Ignez Arruda

Introduction to a general theory of elementary porpositions

BR SPCLEARQ FAIA-I-IT553
Item
1921

Parte deAyda Ignez Arruda

POST, Emil L. Introduction to a general theory of elementary porpositions. American Journal of Mathematics, n.43, p.163-185, 1921.

Ayda Ignez Arruda

Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii

BR SPCLEARQ FAIA-I-IT568
Item
1965

Parte deAyda Ignez Arruda

SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Izdatel'stvo MGU, p.242-257, 1962. Resenha de: COMEY, David Dinsmore. The Journal of Symbolic Logic, s.l., v.30, n.3, p.368-70, 1965.

Ayda Ignez Arruda

Curriculum Vitae de Terceiros