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

BR SPCLEARQ FAIA-Impr-IT527
Item
1971

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-Impr-IT533
Item
1971

Parte de Ayda 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-Impr-IT539
Item
1974-12

Parte de Ayda 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-Impr-IT546
Item
1974

Parte de Ayda 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-Impr-IT559
Item
1975

Parte de Ayda 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

Educação, Pesquisa e Administração Universitária

BR SPCLEARQ FAIA-Impr-IT560
Item
1981

Parte de Ayda Ignez Arruda

SCHNEIDER, José Benedito. Educação, Pesquisa e Administração Universitária. ADUNICAMP: Campinas, 1981, 1p.

Ayda Ignez Arruda

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-Impr-IT561
Item
1974-03

Parte de Ayda 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

Programa Simpósio Latino-Americano de Lógica Matemática

BR SPCLEARQ FAIA-Impr-IT564
Item
1976

Parte de Ayda Ignez Arruda

SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 11-17 jul. 1976, Campinas. Programa. Campinas: Unicamp, 8p.

Ayda Ignez Arruda

Resumos dos trabalhos Simpósio Latino-Americano de Lógica Matemática

BR SPCLEARQ FAIA-Impr-IT565
Item
1976

Parte de Ayda Ignez Arruda

SIMPÓSIO Latino-Americano de Lógica Matemática, 3, 10-17 jul. 1976, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 66p.

Ayda Ignez Arruda

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-Impr-IT569
Item
1969

Parte de Ayda 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 de Ayda 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 de Ayda 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 de Ayda 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 de Ayda 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