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

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

BR SPCLEARQ FAIA-Impr-IT501
Unidad documental simple
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.)

Sin título

O paradoxo de Curry-Moh Shaw-Kwei

BR SPCLEARQ FAIA-Impr-IT500
Unidad documental simple
1966

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

Sin título

Experiência com iças

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

Parte deWalter Hugo de Andrade Cunha

Pesquisa com iças em seu habitat natural

Sin título

Carta de Leopoldo Nachbin

BR SPCLEARQ FNCAC-Cp-IT50
Unidad documental simple
1980-10-20

Parte deNewton 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
Unidad documental simple
1983-11-28

Parte deNewton Carneiro Affonso da Costa

Encontro Nacional de Filosofia - ANPOF, 8

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

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

Aspecto da platéia

Sin título

Carta de M. Balkanski a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT50
Unidad documental simple
1977-07-09

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

Sin título

Regresso de Nova York

BR SPCLEARQ JCR-F-IT50
Unidad documental simple
1956-04-15

Parte deJoaquim da Costa Ribeiro

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

Sin título

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-Impr-IT499
Unidad documental simple
1974

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

Sin título

Further considerations on the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT498
Unidad documental simple
1968

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

Sin título

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT497
Unidad documental simple
1982

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

Sin título

Mathematical Logic in Latin America

BR SPCLEARQ FAIA-Impr-IT496
Unidad documental simple
1982-02

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

Sin título

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

BR SPCLEARQ FAIA-Impr-IT495
Unidad documental simple
1982-06

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

Sin título

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-Impr-IT494
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

A semantical study of some of vagueness logic

BR SPCLEARQ FAIA-Impr-IT493
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Uma Questão de Lógica

BR SPCLEARQ FAIA-Impr-IT492
Unidad documental simple

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

Sin título

The Paradox of Russell in the Systems Nfn

BR SPCLEARQ FAIA-Impr-IT491
Unidad documental simple
1980

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

Sin título

Sur les systèmes Nfi de da Costa

BR SPCLEARQ FAIA-Impr-IT490
Unidad documental simple
1970-04-27

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

Sin título

Carta de Leopoldo Nachbin

BR SPCLEARQ FNCAC-Cp-IT49
Unidad documental simple
1977-12-11

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