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

On the relevant systems P and P* and some related systems

BR SPCLEARQ FAIA-Impr-IT501
Item
1980-05

ARRUDA, Ayda I.; COSTA, Newton C.A. da. On the relevant systems P and P* and some related systems. Campinas: Unicamp, maio 1980. 23 p. (Relatório Interno nº 174, IMECC, Unicamp.)

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

Experiência com iças

BR SPCLEARQ FWHAC-F-EI-IT50
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 Leopoldo Nachbin

BR SPCLEARQ FNCAC-Cp-IT50
Item
1980-10-20

Parte de Newton Carneiro Affonso da Costa

Carta de Leopoldo Nachbin a NCAC agradecendo e parabenizando pela cópia de parte de carta de Roberto Wolf, e parabenizando a Ayda Ignez Arruda por assumir a direção do IMECC/Unicamp. S.l., 20 de out. de 1980. 1p.

Carta de Francisco Miró Quesada

BR SPCLEARQ FNCAC-Cp-DFMQ-IT50
Item
1983-11-28

Parte de Newton Carneiro Affonso da Costa

Encontro Nacional de Filosofia - ANPOF, 8

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

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

Aspecto da platéia

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

Carta de M. Balkanski a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT50
Item
1977-07-09

Parte de José Carlos Valladão de Mattos

Carta, em inglês, de M. Balkanski a JCVM comunicando a aceitação do artigo “Electron Hole Drop Velocities as a Probe of Phonons in Germanium” a ser apresentado na “International Conference of Lattice Dynamics” e pedindo a confirmação da sua presença no evento. ass. M. Balkanski

José Carlos Valladão de Mattos

Regresso de Nova York

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

Parte de Joaquim da Costa Ribeiro

Antônio da Costa Ribeiro, José Luiz, Martha, Jeanne, Sales, Joaquim da Costa Ribeiro, Yvonne, Ghislaine

Joaquim da Costa Ribeiro

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-Impr-IT499
Item
1974

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

Ayda Ignez Arruda

Further considerations on the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT498
Item
1968

Parte de Ayda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT497
Item
1982

Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Ayda Ignez Arruda

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT496
Item
1982-02

Parte de Ayda Ignez Arruda

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Ayda Ignez Arruda

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

BR SPCLEARQ FAIA-Impr-IT495
Item
1982-06

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.

Ayda Ignez Arruda

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-Impr-IT494
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, s.d.

Ayda Ignez Arruda

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Uma Questão de Lógica

BR SPCLEARQ FAIA-Impr-IT492
Item

Parte de Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Uma Questão de Lógica. Revista Brasileira de Filosofia. [São Paulo, v. XIII, fasc. 50], p. 261-264, s.d.

Ayda Ignez Arruda

The Paradox of Russell in the Systems Nfn

BR SPCLEARQ FAIA-Impr-IT491
Item
1980

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. The Paradox of Russell in the Systems Nfn. Proceedings of the Third Brazilian Conference on Mathematical Logic. [Campinas: SBL-Unicamp], p. 1-2, 1980.

Ayda Ignez Arruda

Sur les systèmes Nfi de da Costa

BR SPCLEARQ FAIA-Impr-IT490
Item
1970-04-27

Parte de Ayda Ignez Arruda

ARRUDA, Ayda I. Sur les systèmes Nfi de da Costa. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1081-1084, 27 abr. 1970.

Ayda Ignez Arruda

Carta de Leopoldo Nachbin

BR SPCLEARQ FNCAC-Cp-IT49
Item
1977-12-11

Parte de Newton Carneiro Affonso da Costa

Carta de Leopoldo Nachbin a NCAC confirmando o recebimento de correspondência e dizendo ter escrito à Antonio Mario, sugerindo que ele faça o mesmo, comentando sobre como é método de candidatura para a Academia Brasileira de Ciências e das conferências realizadas no exterior. S.l., 11 de dez. de 1977. 2p. (ms)

Carta de Francisco Miró Quesada