Historical Archives - Centre for Logic, Epistemology and History of Science - Unicamp

Showing 1729 results

Archival description

Print preview View:

Sort by:

Direction:

324 results with digital objects Show results with digital objects

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT298
Item
? - 1983-01-05

Part of Ayda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, desejando um Feliz 1983, comunicando o envio de um artigo e falando sobre sua estada em Campinas. Annapolis, 05 jan. 1983. Ass.: Ken. 1p. ms.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT299
Item
? - 1983-03-05

Part of Ayda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, relatando suas atividades em Annapolis e informando a respeito de um mini-curso sobre w-rule a ser proferido. Annapolis, 05 mar. 1983. Ass.: Ken. 1p. ms.

Untitled

Adendo ao processo 78/0232

BR SPCLEARQ FAIA-AA-Fapesp-DLS-IT060
Item

Part of Ayda Ignez Arruda

Adendo ao processo 78/0232 aprovando a utilização de saldo de dezenove mil e quinhentos cruzeiros no pagamento de mais de um mês de manutenção do professor Leslaw Szczerba.

Acelerador de Partícula e Antipartícula: paradoxos da natureza

BR SPCLEARQ CJCVM-PIm-IT205
Item

Part of José Carlos Valladão de Mattos

Untitled

Abstract da palestra Implicative Systems and Modus Ponens Rule

BR SPCLEARQ FAIA-PIm-EL-IT412
Item
1972-07

Part of Ayda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

Untitled

A teoria de primeira ordem v

BR SPCLEARQ FAIA-PIm-EL-IT407
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Untitled

A Survey of Paraconsistent Logic. Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT468
Item
1980

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. A Survey of Paraconsistent Logic. Mathematical Logic in Latin America, s.l., 1980, p. 1 ? 41.

Untitled

A survey of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT467
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. A survey of Paraconsistent Logic. Campinas: Unicamp, s.d. 48 p. (Relatório Interno nº 106, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas.)

Untitled

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. A semantical study of some of vagueness logic. s.l., p. 139 ? 145, s.d.

Untitled

A Questão Tecnológica e o CpdD-Telebrás

BR SPCLEARQ CJCVM-PIm-IT204
Item

Part of José Carlos Valladão de Mattos

Untitled

A partial comparison of two conditions on the intersections of regressive sets

BR SPCLEARQ FAIA-Impr-IT549
Item
1977

Part of Ayda Ignez Arruda

McLAUGHLIN, Von T.G. A partial comparison of two conditions on the intersections of regressive sets. Arch. Math. Logik, v.18, p.159-167, 1977.

Untitled

A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias

BR SPCLEARQ FAIA-PIm-EL-IT437
Item
1974-12-05 - 1975-12-09

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.

Untitled

A Lógica e a Matemática são idênticas?

BR SPCLEARQ FAIA-Impr-IT535
Item
1964-10

Part of Ayda Ignez Arruda

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Untitled

A Evolução do Método Axiomático

BR SPCLEARQ FAIA-Impr-IT466
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda Ignez. A Evolução do Método Axiomático. Revista Brasileira de Filosofia, São Paulo, v. XIV, fasc. 54, s.d. p. 209-221.

Untitled

A Emergência da Nova Idade Média

BR SPCLEARQ CJCVM-PIm-IT202
Item

Part of José Carlos Valladão de Mattos

Untitled

[2 Reunião do Comitê Consultivo das Nações Unidas]

BR SPCLEARQ JCR-F-IT36
Item
1955-01

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro e outros na Comissão que discutia as aplicações pacíficas da Energia Atômica [Comitê Consultivo das Nações Unidas para as aplicações pacíficas da Energia Atômica]

Untitled

2 Reunião do Comitê Consultivo das Nações Unidas

2 Reunião do Comitê Consultivo das Nações Unidas

BR SPCLEARQ JCR-F-IT37
Item
1955-05

Part of Joaquim da Costa Ribeiro

Joaquim da Costa Ribeiro e outros na Comissão que discutia as aplicações pacíficas da Energia Atômica [2ème Reunion du Comité Consultativ de l'ONU pour la Conférence des Applications Pacifiques de l'Energie Nucléaire. Paris - Mai - 1955]

Untitled

0“Relatório de Atividades” de JCVM

BR SPCLEARQ CJCVM-PIm-IT178
Item
1980/02/20

Part of José Carlos Valladão de Mattos

0“Relatório de Atividades” de JCVM relativo ao período que exerceu atividades junto a Universidade de Brasília. Campinas, 20 de fevereiro de 1980. ass. JCVM. 3p. (cópia datilografada reprográfica)

José Carlos Valladão de Matos

“Relatório Científico do Projeto Prêmio José Reis de Divulgação Científica do CNPq

BR SPCLEARQ CJCVM-PIm-IT195
Item
1988//11/14

Part of José Carlos Valladão de Mattos

“Relatório Científico do Projeto Prêmio José Reis de Divulgação Científica do CNPq. Campinas, 14 de novembro de 1988. ass. JCVM. 3p. (cópia datilografada reprográfica)

José Carlos Valladão de Matos

“Relatividade, Física Quântica e Perplexidades”

BR SPCLEARQ CJCVM-PIm-IT198
Item
1990/11/12

Part of José Carlos Valladão de Mattos

“Relatividade, Física Quântica e Perplexidades”. JCVM. Unicamp, novembro de 1990. Seminário para a disciplina de Física do Curso Noturno de Matemática. UNICAMP, [?]. NOVEMBRO DE 1990. s. ass. 21p. (digitalizado)

José Carlos Valladão de Matos

“Proposta para a reunião do CONCIP”

BR SPCLEARQ CJCVM-PIm-IT197
Item
1989/12/07

Part of José Carlos Valladão de Mattos

“Proposta para a reunião do CONCIP”, Minuta. JCVM, Representante da Unicamp e Membro do CONCIP. Unicamp, 7 de dezembro de 1989. 2p. s.ass. (datilografado)

José Carlos Valladão de Matos

“Proposta: Cursos Noturnos”

BR SPCLEARQ CJCVM-PIm-IT188
Item
1985/12

Part of José Carlos Valladão de Mattos

“Proposta: Cursos Noturnos”. Campinas, dezembro de 1985. ass. JCVM. 2p. (cópia datilografada reprográfica).

José Carlos Valladão de Matos

“Proposta: Centro Cultural da Unicamp”

BR SPCLEARQ CJCVM-PIm-IT189
Item
1985/12

Part of José Carlos Valladão de Mattos

“Proposta: Centro Cultural da Unicamp”. Campinas, dezembro de 1985. ass. JCVM. 1p. (cópia datilografada reprográfica)

José Carlos Valladão de Matos

“Projeto: Aplicação de métodos físicos para a detecção do vírus HTLV-III”

BR SPCLEARQ CJCVM-PIm-IT186
Item
1985/09

Part of José Carlos Valladão de Mattos

“Projeto: Aplicação de métodos físicos para a detecção do vírus HTLV-III”. s.l setembro de 1985. ass. JCVM. 8p. (cópia datilografada reprográfica)

José Carlos Valladão de Matos

“Programa de Saneamento de Favelas (Joan Villa)”

BR SPCLEARQ CJCVM-PIm-IT184
Item
1985/10/10

Part of José Carlos Valladão de Mattos

“Programa de Saneamento de Favelas (Joan Villa)”. Campinas, 10 de outubro de 1985. ass. JCVM. 2p. (cópia datilografada reprográfica)

José Carlos Valladão de Matos

“Parecer sobre a Proposta de Desmembramento da FEC”

BR SPCLEARQ CJCVM-PIm-IT185
Item
1985/09/30

Part of José Carlos Valladão de Mattos

“Parecer sobre a Proposta de Desmembramento da FEC”. Campinas, 30 de setembro de 1985. ass. JCVM, Representante dos Professores dos Institutos e Membro da Comissão de Especialistas para Exame das propostas da FEC. 4p. (cópia datilografada reprográfica)

José Carlos Valladão de Matos

“Os Seus Isaias do meu Brasil (uma elegia ao povo brasileiro)”

BR SPCLEARQ CJCVM-PIm-IT196
Item
1983/11/18

Part of José Carlos Valladão de Mattos

“Os Seus Isaias do meu Brasil (uma elegia ao povo brasileiro)”. JCVM.. Campinas, 18 de novembro de 1989. ass. JCVM. 3p. (datilografado)

José Carlos Valladão de Matos

“Os problemas da Pós-Graduação”, JCVM

BR SPCLEARQ CJCVM-PIm-IT181
Item

Part of José Carlos Valladão de Mattos

“Os problemas da Pós-Graduação”, JCVM. s.l. s.d. ass. JCVM, Coordenador – CPG/IFGW. 3p. (cópia datilografada reprográfica)

José Carlos Valladão de Matos

“O RDIDP. José Carlos Valladão de Mattos - IF”.

BR SPCLEARQ CJCVM-PIm-IT183
Item
1984/07/03

Part of José Carlos Valladão de Mattos

“O RDIDP. José Carlos Valladão de Mattos - IF”. Campinas, 3 de julho de 1984. ass. JCVM. 2p. (datilografado)

José Carlos Valladão de Matos

“Laser-Dopler Velocimetry of Electron-Hole Drops in Germanium”

BR SPCLEARQ CJCVM-PIm-IT176
Item
19976/11/08

Part of José Carlos Valladão de Mattos

“Laser-Dopler Velocimetry of Electron-Hole Drops in Germanium”, J. Doehler, J.C.V. Mattos and J.M. Worlock. Bell Telephone Laboratories, Holmdel, 8 de novembro de 1976. ass. . Doehler; JCVM e J.M. Worlock. 28p. (cópia datilografada) (observação: foi publicado na Physical Review Letters, Vol. 38, N. 13 de 28 de março de 1977, ver Série Impressos).

José Carlos Valladão de Matos

Results 1681 to 1710 of 1729

« Previous
1
...
52
53
54
55
56
57
58
Next »