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

Mostrando 5150 resultados

Descrição arquivística

Visualizar impressão Visualizar:

Ordenar por:

Ordem:

1786 resultados com objetos digitais Exibir resultados com objetos digitais

Carta de Liang-Hiu Chen a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT54
Item
1984-11-20

Parte de José Carlos Valladão de Mattos

Carta de Liang-Hiu Chen a JCVM informando sobre trabalhos desenvolvidos conjuntamente, relatando sobre a publicação de artigos em que são co-autore.s Ass. Liang-Hiu Chen.

José Carlos Valladão de Mattos

Carta de Marcel Guilhaume

Carta de Marcel Guilhaume

BR SPCLEARQ FNCAC-Cp-IT54
Item
2000-04-25

Parte de Newton Carneiro Affonso da Costa

Carta de Marcel Guilhaume a NCAC agradecendo o recebimento do livro de Lars Eriksen com duas dedicatórias, uma do próprio autor e uma do NCAC e avisando que o visitará no Brasil. S.l., 25 de abr. de 2000. 1p.

Newton Carneiro Affonso da Costa

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT54
Item
[1968/10/24]

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Encontro Nacional de Filosofia - ANPOF, 9

Encontro Nacional de Filosofia - ANPOF, 9

BR SPCLEARQ CANPOF-F-IT54
Item
3-8 out. 2000

Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)

Marilena de Souza Chaui e Fátima Regina R. Évora

Associação Nacional de Pós-graduação em Filosofia

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

Catálogo de Pós-graduação: 2° semestre

BR SPCLEARQ FAIA-Impr-IT538
Item
1971

Parte de Ayda Ignez Arruda

IMECC - UNICAMP. Catálogo de Pós-graduação: 2° semestre. Campinas: Unicamp, 1971. 41p.

Ayda Ignez Arruda

Catálogo de Pós-graduação: 1° semestre

BR SPCLEARQ FAIA-Impr-IT537
Item
1971

Parte de Ayda Ignez Arruda

IMECC - UNICAMP. Catálogo de Pós-graduação: 1° semestre. Campinas: Unicamp, 1971. 34p.

Ayda Ignez Arruda

Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência

BR SPCLEARQ FAIA-Impr-IT536
Item

Parte de Ayda Ignez Arruda

IFCH-UNICAMP; CLE-UNICAMP. Catálogo do curso de Pós-Graduação em Lógica e Filosofia da Ciência. Campinas: Unicamp, s.d., 27p.

Ayda Ignez Arruda

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

BR SPCLEARQ FAIA-Impr-IT535
Item
1964-10

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

Ayda Ignez Arruda

Logic of negationless intuitionistics mathematics

BR SPCLEARQ FAIA-Impr-IT534
Item
1951

Parte de Ayda Ignez Arruda

GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951.

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

Su una interpretazione algebricio-categoriale del silogismo

BR SPCLEARQ FAIA-Impr-IT532
Item
1978

Parte de Ayda Ignez Arruda

FREGUGLIA, Paolo. Su una interpretazione algebricio-categoriale del silogismo. Archimede, s.l., n.1-2, p.30-41, 1978.

Ayda Ignez Arruda

L’ipotese del Continuo

BR SPCLEARQ FAIA-Impr-IT531
Item
1977

Parte de Ayda Ignez Arruda

FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.

Ayda Ignez Arruda

How I created the theory of relativity

BR SPCLEARQ FAIA-Impr-IT530
Item
1982-08

Parte de Ayda Ignez Arruda

EINSTEIN, Albert. How I created the theory of relativity. Physics Today, s.l., p.45-47, ago. 1982.

Ayda Ignez Arruda

Carta de Marcel Guilhaume

Carta de Marcel Guilhaume

BR SPCLEARQ FNCAC-Cp-IT53
Item
1965-05-29

Parte de Newton Carneiro Affonso da Costa

Carta de Marcel Guilhaume a NCAC comunicando sua vinda ao Brasil e o desejo de publicar um artigo na Revista da Sociedade Paranaense de Matemática. S.l., 29 de maio de 1965. 2p. (ms)

Carta de Francisco Miró Quesada

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT53
Item
1985-11-26

Parte de Newton Carneiro Affonso da Costa

Carta de Peter Cervenka a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT53
Item
1976-03-08

Parte de José Carlos Valladão de Mattos

Carta de Peter Cervenka a JCVM manifestando a felicidade em receber notícias do mesmo, falando sobre trabalhos científicos, relatando os problemas ocorridos durante asua viagem à Campinas e demonstrando a vontade de trabalhar conjuntamente. Ass. Peter Cervenka.

José Carlos Valladão de Mattos

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT53
Item
[1968/10/24]

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Recepção ao governo austríaco

Recepção ao governo austríaco

BR SPCLEARQ JCR-F-IT53
Item
1957-10-01

Parte de Joaquim da Costa Ribeiro

Ministro Ouro Preto, Joaquim da Costa Ribeiro, Paulo Costa Franco, Consul Hosanah, Consul Vaneur, M.Meira

Joaquim da Costa Ribeiro

Encontro Nacional de Filosofia - ANPOF, 9

Encontro Nacional de Filosofia - ANPOF, 9

BR SPCLEARQ CANPOF-F-IT53
Item
3-8 out. 2000

Parte de Associação Nacional de Pós-graduação em Filosofia (ANPOF)

Oswaldo Porchat

Associação Nacional de Pós-graduação em Filosofia

On structural completeness of some nonclassical predicate calculi

BR SPCLEARQ FAIA-Impr-IT529
Item
1975

Parte de Ayda Ignez Arruda

DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

Ayda Ignez Arruda

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-Impr-IT528
Item
1970-09

Parte de Ayda Ignez Arruda

DEMAREE, Daniel B. The set of quantifiers of an atomic Boolean algebra. Mathematisch Centrum, Amsterdam, 4p. set. 1970.

Ayda Ignez Arruda

Boolean Powers in algebric logic

BR SPCLEARQ FAIA-Impr-IT527
Item
1971

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

Ayda Ignez Arruda

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

Parte de Ayda Ignez Arruda

COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

Ayda Ignez Arruda

Remarques sur le système NF1

BR SPCLEARQ FAIA-Impr-IT525
Item
1971-05

Parte de Ayda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Ayda Ignez Arruda

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Parte de Ayda Ignez Arruda

COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

Ayda Ignez Arruda

Un calcul des applications

BR SPCLEARQ FAIA-Impr-IT523
Item
1971

Parte de Ayda Ignez Arruda

CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.

Ayda Ignez Arruda

Sole axioms for partially ordered sets

BR SPCLEARQ FAIA-Impr-IT522
Item
1979

Parte de Ayda Ignez Arruda

CLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.

Ayda Ignez Arruda

Measures of centrality and complexity for partial propositional calculi

BR SPCLEARQ FAIA-Impr-IT521
Item
1972

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

Ayda Ignez Arruda

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-Impr-IT520
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Exibindo 601-630 de 5150 resultados

« Anterior
1
...
18
19
20
21
22
23
24
...
172
Próximo »