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

Proposta de Rolando Chuaqui, presidente do comitê latino-americano da Association for Symbolic Logic, contendo sugestões de organização do III Simpósio Latino-Americano de Lógica Matemática.

Ayda Ignez Arruda

Proposta de Regimento Interno do IMECC

BR SPCLEARQ FAIA-AAdm-M-IT144
Item

Parte de Ayda Ignez Arruda

Proposta de Regimento Interno do IMECC, elaborada pela comissão eleita para tal fim, dispondo sobre o funcionamento do Instituto e sua administração.

Ayda Ignez Arruda

Proposta: “Melhoria do Ensino de Ciências”.

BR SPCLEARQ CJCVM-PA-CUU-IT231
Item
1985-11

Parte de José Carlos Valladão de Mattos

Proposta: “Melhoria do Ensino de Ciências”. Apresentada no Grupo de Trabalho formado pelo Departamento de Ciência e Tecnologia da Secretaria de Indústria, Comércio e Ciência e Tecnologia do Estado [de São Paulo]

José Carlos Valladão de Mattos

Propositional calculus for contradctory deductive systems

BR SPCLEARQ FAIA-Impr-IT541
Item
1969

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Properties of a Giant Electron-Hole Drop in Germanium

BR SPCLEARQ CJCVM-I-IT242
Item
1977

Parte de José Carlos Valladão de Mattos

Properties of a Giant Electron-Hole Drop in Germanium. Solid State Communications, v. 22, 1977, p. 13-15.

José Carlos Valladão de Mattos

Projeto SUBIN II. - Minuta

BR SPCLEARQ CJCVM-PA-CLAF/SUBIN-IT208
Item
1962-06-15

Parte de José Carlos Valladão de Mattos

Projeto SUBIN II. - Minuta

José Carlos Valladão de Mattos

Projeto Sistemas de Bibliotecas da Unicam

BR SPCLEARQ FAIA-PItm-IT452
Item
1983-08

Parte de Ayda Ignez Arruda

Projeto intitulado Sistemas de Bibliotecas da Unicamp, apresentando considerações sobre a formulação de uma rede coordenada de bibliotecas. Campinas, ago. 1983. 28p. dat. cópia.

Ayda Ignez Arruda

Projeto de pesquisa

BR SPCLEARQ FNB-PIm-DTD-IT153
Item

Parte de Newton Bernardes

153 – Projeto de pesquisa de NB intitulado O que Fazer?. s.ass.

Newton Bernardes

Projeto de Cooperação CLAF/IFGW-Unicamp

BR SPCLEARQ CJCVM-PA-CLAF/SUBIN-IT207
Item
1982-07-06

Parte de José Carlos Valladão de Mattos

Projeto de Cooperação CLAF/IFGW-Unicamp. Ass. Roberto Bastos da Costa – Diretor.

José Carlos Valladão de Mattos

Projeto de capa do livro Holotropic Theory of Thermodynamics

BR SPCLEARQ FNB-PIm-DTHT-IT097
Item

Parte de Newton Bernardes

097 – Projeto de capa do livro Holotropic Theory of Thermodynamics de NB. s.ass.

Newton Bernardes

Projeto: Colégio Universitário da Unicamp: Apresentação de Proposta.

BR SPCLEARQ CJCVM-PA-CUU-IT226
Item
1985-05-29

Parte de José Carlos Valladão de Mattos

Projeto: Colégio Universitário da Unicamp: Apresentação de Proposta. Ass. JCVM, Coordenador do Projeto e José Aristodemo Pinotti, Reitor.

José Carlos Valladão de Mattos

Projeto

BR SPCLEARQ CHRR-TC-IT013
Item
1980-03

Parte de Hugo Régis dos Reis

Projeto Geométrico de um Pateo Ferroviário e acesso ao Ramal Industrial da Rede Ferroviária Federal em Camaçari, Bahia, de Hugo Regis dos Reis, demonstrando como deve ser o lay-out de um pátio ferroviário. [S.l.], mar. 1980. 4p. (dat. cópia)

Hugo Régis dos Reis

Programa, lista de gastos e outras informações

BR SPCLEARQ FAIA-AA-DSLALM-IT120
Item

Parte de Ayda Ignez Arruda

Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.

Ayda Ignez Arruda

Programa, lista de gastos e outras informações

BR SPCLEARQ FAIA-AA-DSLALM-IT121
Item

Parte de Ayda Ignez Arruda

Programa, lista de gastos e outras informações sobre o III Simpósio Latino Americano de Lógica Matemática.

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

Programa do Simpósio Comemorativo do Cinqüentenário da Descoberta dos Chuveiros Penetrantes nos Raios Cósmicos.

BR SPCLEARQ FNB-USP-IT227
Item
22-23/10/ [1990]

Parte de Newton Bernardes

227 ? Programa do Simpósio Comemorativo do Cinqüentenário da Descoberta dos Chuveiros Penetrantes nos Raios Cósmicos.

Processo n. 1928/81

BR SPCLEARQ FAIA-IU-AJ-IT175
Item
1981-11-04

Parte de Ayda Ignez Arruda

Processo n. 1928/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando o professor Eduardo Oscar de Campos Chaves das funções de diretor da Faculdade de Educação.

Ayda Ignez Arruda

Processo n. 1817/81

BR SPCLEARQ FAIA-IU-AJ-IT174
Item
1981-12-16

Parte de Ayda Ignez Arruda

Processo n. 1817/81 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando os diretores AIA, André Maria Pompeu Villalobos e Carlos Alfredo Arguello de suas funções.

Ayda Ignez Arruda

Processo 1234/81

BR SPCLEARQ FAIA-AAdm-IT130
Item
1981-03-20

Parte de Ayda Ignez Arruda

Processo n. 1243/81 do concurso para professor adjunto na área de lógica matemática, no departamento de matemática do IMECC, solicitado por AIA, diretora do IMECC.

Ayda Ignez Arruda

Proceedings of the Third Brazilian Conference on Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT518
Item
1980

Parte de Ayda Ignez Arruda

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

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

Primeira prova de Introdução à Termodinâmica