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

Transformadas no Cálculo Restrito de Predicados

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

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.

Untitled

Trave madeira

BR SPCLEARQ FMTT-FB-IT21
Item

Part of Mario Tourasse Teixeira

1 trave de madeira

Untitled

Traves

BR SPCLEARQ FMTT-FB-IT22
Item

Part of Mario Tourasse Teixeira

3 pares de trave. Sendo 2 de madeira e 1 de plástico.

Untitled

Traves 2

BR SPCLEARQ FMTT-FB-IT24
Item

Part of Mario Tourasse Teixeira

Traves madeira e plástico

Untitled

Traves 3

BR SPCLEARQ FMTT-FB-IT25
Item

Part of Mario Tourasse Teixeira

Traves madeira e plástico

Untitled

Traves madeira

BR SPCLEARQ FMTT-FB-IT20
Item

Part of Mario Tourasse Teixeira

Par de trave de madeira

Untitled

Trecho de reportagem O Diário de Piracicaba

BR SPCLEARQ FAIA-IU-CNM-IT166
Item
1981-10-21

Part of Ayda Ignez Arruda

Trecho de reportagem contida em O Diário de Piracicaba, contendo comunicado da reitoria da Unicamp esclarecendo e justificando os atos do reitor. Cidade Universitária "Zeferino Vaz

Untitled

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

BR SPCLEARQ FAIA-Impr-IT509
Item
1962-10

Part of 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.

Untitled

Uma Questão de Lógica

BR SPCLEARQ FAIA-Impr-IT492
Item

Part of 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.

Untitled

Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P

BR SPCLEARQ FAIA-PIm-EL-IT428
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.

Untitled

Un calcul des applications

BR SPCLEARQ FAIA-Impr-IT523
Item
1971

Part of 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.

Untitled

Un principio di riflessione nella teoria delle classi

BR SPCLEARQ FAIA-Impr-IT546
Item
1974

Part of Ayda Ignez Arruda

LOLLI, Gabrielle. Un principio di riflessione nella teoria delle classi. Matematiche, Catania, v.28, p.209-228, 1974.

Untitled

Une étude sémantique de quelques calculs propositionnels

BR SPCLEARQ FAIA-PItm-IT450
Item

Part of Ayda Ignez Arruda

Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.

Untitled

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-Impr-IT526
Item
1976-06

Part of 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.

Untitled

Une sémantique pour le calcul C1

BR SPCLEARQ FAIA-PItm-IT441
Item
[1974-1976]

Part of Ayda Ignez Arruda

Artigo, em francês, de Newton C. A. da Costa e Elias H. Alves, intitulado Une sémantique pour le calcul C1. S.l., [1974-1976]. S.ass. 5p. dat. cópia.

Untitled

Une sémantique pour le calcul C1=

BR SPCLEARQ FAIA-PIm-A-IT368
Item

Part of Ayda Ignez Arruda

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Untitled

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

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

Part of 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.

Untitled

Unesco