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

Proceedings of the Third Brazilian Conference on Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT518
Item
1980

BRAZILIAN Conference on Mathematical Logic, 3, 1979. Recife. Proceedings of the Third Brazilian Conference on Mathematical Logic. São Paulo: Sociedade Brasileira de Lógica, 1980. 1p

Untitled

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-Impr-IT520
Item

Part of Ayda Ignez Arruda

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

Untitled

Measures of centrality and complexity for partial propositional calculi

BR SPCLEARQ FAIA-Impr-IT521
Item
1972

Part of Ayda Ignez Arruda

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

Untitled

Boolean Powers in algebric logic

BR SPCLEARQ FAIA-Impr-IT527
Item
1971

Part of Ayda 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.

Untitled

Incompleteness and truth definition

BR SPCLEARQ FAIA-Impr-IT533
Item
1971

Part of Ayda Ignez Arruda

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

Untitled

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT539
Item
1974-12

Part of 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.

Untitled

Un principio di riflessione nella teoria delle classi

BR SPCLEARQ FAIA-Impr-IT546
Item
1974

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-Impr-IT559
Item
1975

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-Impr-IT560
Item
1981

Part of Ayda Ignez Arruda

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

Untitled

Alcune osservazione sulle algebre cilindriche speciali

BR SPCLEARQ FAIA-Impr-IT561
Item
1974-03

Part of 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.

Untitled

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

BR SPCLEARQ FAIA-Impr-IT564
Item
1976

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-Impr-IT565
Item
1976

Part of Ayda Ignez Arruda

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

Untitled

Logical matrices strongly adequate for structural setential calculi

BR SPCLEARQ FAIA-Impr-IT569
Item
1969

Part of 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.

Untitled

Curriculum vitae de Robert K. Meyer

BR SPCLEARQ FAIA-CV-IT578
Item

Part of Ayda Ignez Arruda

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

Untitled

Curriculum vitae de Francisco Miró Quesada

BR SPCLEARQ FAIA-CV-IT581
Item

Part of Ayda Ignez Arruda

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

Untitled

Curriculum vitae de Leslaw Wlodzimierz Szczerba

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

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-CV-IT593
Item

Part of 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.

Untitled

Reportagem