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

Encontro Nacional de Filosofia - ANPOF, 9

BR SPCLEARQ CANPOF-F-IT54
Unidad documental simple
3-8 out. 2000

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

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

Sin título

International Congress of Logic, Methodology and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT539
Unidad documental simple
1974-12

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

Sin título

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

BR SPCLEARQ FAIA-Impr-IT535
Unidad documental simple
1964-10

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

Sin título

Logic of negationless intuitionistics mathematics

BR SPCLEARQ FAIA-Impr-IT534
Unidad documental simple
1951

Parte deAyda Ignez Arruda

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

Sin título

Incompleteness and truth definition

BR SPCLEARQ FAIA-Impr-IT533
Unidad documental simple
1971

Parte deAyda Ignez Arruda

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

Sin título

Su una interpretazione algebricio-categoriale del silogismo

BR SPCLEARQ FAIA-Impr-IT532
Unidad documental simple
1978

Parte deAyda Ignez Arruda

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

Sin título

L’ipotese del Continuo

BR SPCLEARQ FAIA-Impr-IT531
Unidad documental simple
1977

Parte deAyda Ignez Arruda

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

Sin título

How I created the theory of relativity

BR SPCLEARQ FAIA-Impr-IT530
Unidad documental simple
1982-08

Parte deAyda Ignez Arruda

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

Sin título

Carta de Marcel Guilhaume

BR SPCLEARQ FNCAC-Cp-IT53
Unidad documental simple
1965-05-29

Parte deNewton 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

BR SPCLEARQ FNCAC-Cp-DFMQ-IT53
Unidad documental simple
1985-11-26

Parte deNewton Carneiro Affonso da Costa

Carta de Peter Cervenka a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT53
Unidad documental simple
1976-03-08

Parte deJosé 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.

Sin título

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT53
Unidad documental simple
[1968/10/24]

Parte deWalter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Sin título

Recepção ao governo austríaco

BR SPCLEARQ JCR-F-IT53
Unidad documental simple
1957-10-01

Parte deJoaquim da Costa Ribeiro

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

Sin título

Encontro Nacional de Filosofia - ANPOF, 9

BR SPCLEARQ CANPOF-F-IT53
Unidad documental simple
3-8 out. 2000

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

Oswaldo Porchat

Sin título

On structural completeness of some nonclassical predicate calculi

BR SPCLEARQ FAIA-Impr-IT529
Unidad documental simple
1975

Parte deAyda Ignez Arruda

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

Sin título

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-Impr-IT528
Unidad documental simple
1970-09

Parte deAyda Ignez Arruda

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

Sin título

Boolean Powers in algebric logic

BR SPCLEARQ FAIA-Impr-IT527
Unidad documental simple
1971

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

Sin título

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Unidad documental simple
1976-06

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

Sin título

Remarques sur le système NF1

BR SPCLEARQ FAIA-Impr-IT525
Unidad documental simple
1971-05

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

Sin título

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Unidad documental simple
1964

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

Sin título

Un calcul des applications

BR SPCLEARQ FAIA-Impr-IT523
Unidad documental simple
1971

Parte deAyda Ignez Arruda

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

Sin título

Sole axioms for partially ordered sets

BR SPCLEARQ FAIA-Impr-IT522
Unidad documental simple
1979

Parte deAyda Ignez Arruda

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

Sin título

Measures of centrality and complexity for partial propositional calculi

BR SPCLEARQ FAIA-Impr-IT521
Unidad documental simple
1972

Parte deAyda Ignez Arruda

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

Sin título

Leibniziani e strutture alla luce della logica matematica

BR SPCLEARQ FAIA-Impr-IT520
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT52
Unidad documental simple
25-30 set. 1998

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

Participantes do encontro

Sin título

Carta de Lorenzo Peña

BR SPCLEARQ FNCAC-Cp-IT52
Unidad documental simple
1979-10-11

Parte deNewton Carneiro Affonso da Costa

Carta de Lorenzo Peña a NCAC agradecendo a correspondência recebida, comentando sobre a influência que seus livros exerceram no campo da lógica física e enviando exemplares de algumas teses. Quito, 11 de out. de 1979. 1p. (ms)

Posse de Joaquim da Costa Ribeiro como Presidente da Comissão de Energia Atômica

BR SPCLEARQ JCR-F-IT52
Unidad documental simple
1956-04-27

Parte deJoaquim da Costa Ribeiro

?, ?, ?, ?, Joaquim da Costa Ribeiro, ?, ?, Orlando Rangel

Sin título

Ofício de Alencastro Valle de Carvalho a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT52
Unidad documental simple
1979-06-25

Parte deJosé Carlos Valladão de Mattos

Ofício de Alencastro Valle de Carvalho a JCVM convidando para integrar a Comissão Examinadora da defesa de tese de Oscar Nassif de Mesquita. Ass. Alencastro Valle de Carvalho, Coordenador do Curso de Pós-Graduação em Física do Instituto de Ciências Exatas da UFMG

Sin título

Experiência com iças