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

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

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

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT52
Item
25-30 set. 1998

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

Participantes do encontro

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

Carta de Lorenzo Peña

BR SPCLEARQ FNCAC-Cp-IT52
Item
1979-10-11

Parte de Newton 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
Item
1956-04-27

Parte de Joaquim da Costa Ribeiro

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

Joaquim da Costa Ribeiro

Ofício de Alencastro Valle de Carvalho a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT52
Item
1979-06-25

Parte de José 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

José Carlos Valladão de Mattos

Experiência com iças

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

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT52
Item
1985-08-26

Parte de Newton Carneiro Affonso da Costa

Wroctaw: Polish Academy of Sciences

BR SPCLEARQ FAIA-Impr-IT519
Item
1979-10

Parte de Ayda Ignez Arruda

BULLETIN of the Section of Logic. Wroctaw: Polish Academy of Sciences - Institute of Philosophy and Sociology, v. 8, nº 3, p. 119 ? 168, out. 1979.

Ayda Ignez Arruda

Paraconsistent extensional propositional logics

BR SPCLEARQ FAIA-Impr-IT510
Item
1980-06 - 1980-09

Parte de Ayda Ignez Arruda

BATENS, Diderik. Paraconsistent extensional propositional logics. Logique et Analyse, v.90-91, p.195-234, jun-set. 1980.

Ayda Ignez Arruda

Encontro Nacional de Filosofia - ANPOF, 8

BR SPCLEARQ CANPOF-F-IT51
Item
25-30 set. 1998

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

Participantes do encontro

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

Carta de Leopoldo Nachbin

BR SPCLEARQ FNCAC-Cp-IT51
Item
1982-10-18

Parte de Newton Carneiro Affonso da Costa

Carta de Leopoldo Nachbin a NCAC falando sobre a preparação do Colóquio Internacional de Análise. S.l., 18 de out. de 1982. 1p.

Carta de W. A. Bonner a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT51
Item
1983-08-09

Parte de José Carlos Valladão de Mattos

Carta de W. A. Bonner a JCVM informando que os substratos de GaSb solicitados não poderão serem enviados por se tratar de material restritos à exportação pelo Departamento de Comércio dos Estados Unidos. Ass. W. A. Bonner.

José Carlos Valladão de Mattos

Experiência com iças

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

Parte de Walter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Walter Hugo de Andrade Cunha

Regresso de Nova York

BR SPCLEARQ JCR-F-IT51
Item
1956-04-15

Parte de Joaquim da Costa Ribeiro

Martha, Yvonne, Jeanne, Carlos, filho Walter Pires, Jacqueline de Leers Costa Ribeiro, Joaquim da Costa Ribeiro, Almirante Álvaro Alberto Mota e Silva e outros

Joaquim da Costa Ribeiro

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT51
Item
1984-12-17

Parte de Newton Carneiro Affonso da Costa

Um currículo para a formação do professor de matemática do ensino secundário

BR SPCLEARQ FAIA-Impr-IT509
Item
1962-10

Parte de Ayda Ignez Arruda

BARSOTTI, Leo; COSTA, Newton C.A. da. Um currículo para a formação do professor de matemática do ensino secundário. Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 5, nº 3, p. 45-84, out. 1962.

Ayda Ignez Arruda

Mathematical Logic

BR SPCLEARQ FAIA-Impr-IT508
Item
[1978]

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Ayda Ignez Arruda

Introduction: A Short History of the Latin American Logic Symposia

BR SPCLEARQ FAIA-Impr-IT507
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.

Ayda Ignez Arruda

Une sémantique pour le calcul C1=. C.R

BR SPCLEARQ FAIA-Impr-IT506
Item
1977-01-31

Parte de Ayda Ignez Arruda

ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

BR SPCLEARQ FAIA-Impr-IT505
Item
1966-12,

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels

BR SPCLEARQ FAIA-Impr-IT504
Item
1964-11-02

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.

Ayda Ignez Arruda

Sur un Théorème de Hilbert et Bernays

BR SPCLEARQ FAIA-Impr-IT503
Item
1964-06-29

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.

Ayda Ignez Arruda

Sur le schèma de la sèparation

BR SPCLEARQ FAIA-Impr-IT502
Item
1970-03

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

Ayda Ignez Arruda

O paradoxo de Curry-Moh Shaw-Kwei

BR SPCLEARQ FAIA-Impr-IT500
Item
1966

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Produtor

Nome

Local

Assunto

Gênero

Nível de descrição

Tipo de mídia

Mostrando 4508 resultados