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

BR SPCLEARQ FAIA-I-IT472
Item
1971-05-03

ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

Ayda Ignez Arruda

BR SPCLEARQ FAIA-I-IT475
Item
1971-09

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Ayda Ignez Arruda

On the Postulate of Separation

BR SPCLEARQ FAIA-I-IT478
Item
1968

Parte deAyda Ignez Arruda

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-I-IT488
Item
1968-04-29

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.

Ayda Ignez Arruda

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-I-IT494
Item

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, s.d.

Ayda Ignez Arruda

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-I-IT496
Item
1982-02

Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Ayda Ignez Arruda

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-I-IT497
Item
1982

Parte deAyda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Ayda Ignez Arruda

Sur le schèma de la sèparation

BR SPCLEARQ FAIA-I-IT502
Item
1970-03

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

Ayda Ignez Arruda

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-I-IT507
Item

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.

Ayda Ignez Arruda

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-I-IT520
Item

Parte deAyda Ignez Arruda

CARRUCCIO, Ettore. Mondo Possibili Leibniziani e strutture alla luce della logica matematica. Filosofia-Metodologia-Didatica, p.203-21. s.d.

Ayda Ignez Arruda

Measures of centrality and complexity for partial propositional calculi

BR SPCLEARQ FAIA-I-IT521
Item
1972

Parte deAyda Ignez Arruda

CHAPIN Jr., E. William. Measures of centrality and complexity for partial propositional calculi. Arch. Match. Logik, v.15, p. 7-18, 1972.

Ayda Ignez Arruda

Boolean Powers in algebric logic

BR SPCLEARQ FAIA-I-IT527
Item
1971

Parte deAyda Ignez Arruda

DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

Ayda Ignez Arruda

Incompleteness and truth definition

BR SPCLEARQ FAIA-I-IT533
Item
1971

Parte deAyda Ignez Arruda

GERMANO, G. Incompleteness and truth definition. Theoria, s.l., n.37, p.86-90, 1971.

Ayda Ignez Arruda

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-I-IT539
Item
1974-12

Parte deAyda Ignez Arruda

INTERNATIONAL Congress of Logic, Methodology and Philosophy of Science, 5, 27 ago. - 2 set. 1975, London, Ontario, Canada. Bulletin n° 2. London: University of Western Ontario, dez. 1974. 18p.

Ayda Ignez Arruda

Un principio di riflessione nella teoria delle classi

BR SPCLEARQ FAIA-I-IT546
Item
1974

Parte deAyda Ignez Arruda

LOLLI, Gabrielle. Un principio di riflessione nella teoria delle classi. Matematiche, Catania, v.28, p.209-228, 1974.

Ayda Ignez Arruda

Problemi di decisione per algebre comesse a logiche a più valori

BR SPCLEARQ FAIA-I-IT559
Item
1975

Parte deAyda Ignez Arruda

SAELI, Donato. Problemi di decisione per algebre comesse a logiche a più valori. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur., v. 59, p. 219-223, 1975.

Ayda Ignez Arruda

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-I-IT561
Item
1974-03

Parte deAyda Ignez Arruda

SELVI, Roberto. Alcune osservazione sulle algebre cilindriche speciali. Comitato Nazionale per le scienze matematiche del C.N.R, p.191-202, março 1974.

Ayda Ignez Arruda

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-I-IT569
Item
1969

Parte deAyda Ignez Arruda

WÓJCICK, R. Logical matrices strongly adequate for structural setential calculi. Bulletin del?Académie Polonaise des sciences, v.18, n.6, p.333-335, 1969.

Ayda Ignez Arruda

Curriculum vitae de Robert K. Meyer

BR SPCLEARQ FAIA-CV-IT578
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês, de Robert K. Meyer. S.l. S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

Curriculum vitae de Francisco Miró Quesada

BR SPCLEARQ FAIA-CV-IT581
Item

Parte deAyda Ignez Arruda

Curriculum vitae, em espanhol, de Francisco Miró Quesada. S.l. S.d. S.ass. 3p. dat.

Ayda Ignez Arruda

Curriculum vitae de Leslaw Wlodzimierz Szczerba

BR SPCLEARQ FAIA-CV-IT589
Item
1977-02-10

Parte deAyda Ignez Arruda

Curriculum vitae, em inglês, de Leslaw Wlodzimierz Szczerba. Opacz, 10 fev. 1977. S.ass. 3p. dat.

Ayda Ignez Arruda

Resumo dos curriculum vitae do grupo chileno sob orientação de R. Chuaqui

BR SPCLEARQ FAIA-CV-IT593
Item

Parte deAyda Ignez Arruda

Resumo dos curriculum vitae dos [componentes] do grupo chileno sob orientação de R. Chuaqui, constando as atividades acadêmicas de Irene Mikenberg, Manuel Corrada, María Victoria Marshall e Maria Gloria Schwaze. S.l. S.d. S.ass. 2p. dat. cópia.

Ayda Ignez Arruda

Reportagem