Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

Sobre A Teoria dos Tipos

BR SPCLEARQ FAIA-PIm-A-IT366
Unidad documental simple

Parte deAyda Ignez Arruda

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Sin título

La mathématique classiques dans Nfw

BR SPCLEARQ FAIA-Impr-IT472
Unidad documental simple
1971-05-03

Parte deAyda Ignez Arruda

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

Sin título

On Griss propositional calculus

BR SPCLEARQ FAIA-Impr-IT475
Unidad documental simple
1971-09

Parte deAyda Ignez Arruda

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.

Sin título

On the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT478
Unidad documental simple
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].

Sin título

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-IT488
Unidad documental simple
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.

Sin título

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-Impr-IT494
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT496
Unidad documental simple
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.

Sin título

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT497
Unidad documental simple
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.

Sin título

Sur le schèma de la sèparation

BR SPCLEARQ FAIA-Impr-IT502
Unidad documental simple
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.

Sin título

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-Impr-IT507
Unidad documental simple

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.

Sin título

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-Impr-IT520
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Measures of centrality and complexity for partial propositional calculi

BR SPCLEARQ FAIA-Impr-IT521
Unidad documental simple
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.

Sin título

Boolean Powers in algebric logic

BR SPCLEARQ FAIA-Impr-IT527
Unidad documental simple
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.

Sin título

Incompleteness and truth definition

BR SPCLEARQ FAIA-Impr-IT533
Unidad documental simple
1971

Parte deAyda Ignez Arruda

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

Sin título

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT539
Unidad documental simple
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.

Sin título

Un principio di riflessione nella teoria delle classi

BR SPCLEARQ FAIA-Impr-IT546
Unidad documental simple
1974

Parte deAyda Ignez Arruda

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

Sin título

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

BR SPCLEARQ FAIA-Impr-IT559
Unidad documental simple
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.

Sin título

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-Impr-IT561
Unidad documental simple
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.

Sin título

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-Impr-IT569
Unidad documental simple
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.

Sin título

Curriculum vitae de Robert K. Meyer

BR SPCLEARQ FAIA-CV-IT578
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Curriculum vitae de Francisco Miró Quesada

BR SPCLEARQ FAIA-CV-IT581
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Curriculum vitae de Leslaw Wlodzimierz Szczerba

BR SPCLEARQ FAIA-CV-IT589
Unidad documental simple
1977-02-10

Parte deAyda Ignez Arruda

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

Sin título

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

BR SPCLEARQ FAIA-CV-IT593
Unidad documental simple

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.

Sin título

Reportagem