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

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT12
Item
1928

Part of Joaquim da Costa Ribeiro

Oswaldo Frias de Paula (Distrito Federal). Engenheiro Industrial

Untitled

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT04
Item
1928

Part of Joaquim da Costa Ribeiro

Homenagem Póstuma: Dr. Tobias de Lacerda Martins Moscoso

Untitled

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT05
Item
1928

Part of Joaquim da Costa Ribeiro

Homenagem Póstuma: Dr. Fernando Laborian

Untitled

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT08
Item
1928

Part of Joaquim da Costa Ribeiro

Luiz Joaquim da Costa Leite (Alagoas). Engenheiro Industrial

Untitled

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT09
Item
1928

Part of Joaquim da Costa Ribeiro

Heitor Regis Bittencourt (Distrito Federal). Engenheito Mecânico-Eletricista

Untitled

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT15
Item
1928

Part of Joaquim da Costa Ribeiro

Álvaro Schiller (Santa Catarina). Engenheiro Mecânico-Eletricista

Untitled

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT01
Item
1928

Part of Joaquim da Costa Ribeiro

Escola Politécinica - Universidade do Rio de Janeiro

Untitled

Álbum de Formatura de Joaquim da Costa Ribeiro

BR SPCLEARQ JCR-F-IT07
Item
1928

Part of Joaquim da Costa Ribeiro

Homenagem Póstuma: Frederico de Oliveira Coutinho

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT296
Item
1982-02-13

Part of Ayda Ignez Arruda

Aerograma, em inglês, de Ken para AIA, comunicando o atraso no recebimento de correspondências, e informando sobre novas pesquisas. Annapolis, 13 fev. 1982. Ass.: Ken. 1p. ms.

Untitled

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT297
Item
? - 1982-12-25

Part of Ayda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Untitled

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

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

Narrow your results by:

Language

Part of

Creator

Name

Place

Subject

Genre

Level of description

Media type

Showing 1703 results