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

BR SPCLEARQ FAIA-Impr-IT519
Item
1979-10

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.

Untitled

Vistos e parecer do juiz referente ao processo n. 126/82

BR SPCLEARQ FAIA-IU-AJ-IT176
Item
1982-04-02

Part of Ayda Ignez Arruda

Vistos e parecer do juiz referente ao processo n. 126/82 do mandado de segurança contra o ato praticado pelo reitor da Unicamp dispensando alguns diretores de suas funções. Ass.: Álvaro Érix Ferreira.

Untitled

Vibre com o roteiro turístico da vida, trabalho e do amor

BR SPCLEARQ FAIA-Impr-IT554
Item
1974

Part of Ayda Ignez Arruda

PREFEITURA MUNICIPAL DE CAMPINAS. Campinas. Vibre com o roteiro turístico da vida, trabalho e do amor. Departamento de Turismo: Campinas, 1974. 12p.

Untitled

Vasil’év and the development of Many-valued logic

BR SPCLEARQ FAIA-Impr-IT543
Item
1965

Part of Ayda Ignez Arruda

KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965

Untitled

Várias axiomáticas para o cálculo proposicional clássico

BR SPCLEARQ FAIA-PIm-CP-IT405
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.

Untitled

Unidade de opostos

BR SPCLEARQ FAIA-PIm-EL-IT429
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

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

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

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

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

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

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

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

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

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

Transformadas no Cálculo Restrito de Predicados

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

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

Untitled

Tradução do artigo de Jean Leray

BR SPCLEARQ FAIA-PItm-IT449
Item

Part of Ayda Ignez Arruda

Tradução, do artigo de Jean Leray, [feita por AIA], sobre a reforma do ensino secundário de matemática, redigido a pedido da Academia de Ciências. S.l., S.d. S.ass. 7p. ms.

Untitled

Tradução do artigo de Jean Dieudonné

BR SPCLEARQ FAIA-PItm-IT443
Item

Part of Ayda Ignez Arruda

Tradução, do artigo de Jean Dieudonné, [feita por AIA], intitulado Deveríamos ensinar matemática moderna?. S.l., S.d. S.ass. 13p. ms.

Untitled

The set of quantifiers of an atomic Boolean algebra

BR SPCLEARQ FAIA-Impr-IT528
Item
1970-09

Part of Ayda Ignez Arruda

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

Untitled

The Paradox of Russell in the Systems Nfn

BR SPCLEARQ FAIA-Impr-IT491
Item
1980

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

Untitled

Teorias Recursivas, Creativas y Productivas

BR SPCLEARQ FAIA-PItm-IT445
Item

Part of Ayda Ignez Arruda

Artigo, em espanhol, de José Fernández-Prida, intitulado Teorias Recursivas, Creativas y Productivas. S.l., S.d. S.ass. 15p. dat. cópia.

Untitled

Teoria de Conjuntos R e cálculos diversos

BR SPCLEARQ FAIA-PIm-EL-IT438
Item

Part of Ayda Ignez Arruda

Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.

Untitled

Teorema de Completude para teorias de primeira ordem

BR SPCLEARQ FAIA-PIm-EL-IT427
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms.

Untitled

Teorema da Dedução para Teorias de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT426
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.

Untitled

Telex de Carlos Di Prisco para AIA

BR SPCLEARQ FAIA-C-Cp-IT260
Item

Part of Ayda Ignez Arruda

Telex, em espanhol, de Carlos Di Prisco para AIA, informando o envio de passagens aéreas. Caracas, S.d. S.ass. 1p. dat.

Untitled

Telex de Carlos Di Prisco para AIA

BR SPCLEARQ FAIA-C-Cp-IT257
Item
1983-02-01

Part of Ayda Ignez Arruda

Telex, em espanhol, de Carlos Di Prisco para AIA, comunicando possibilidades de obter financiamento para viagem e solicitando outras informações. Caracas, 01 fev. 1983. 1p. dat.

Untitled

Telex de AIA e Roberto Cignoli para Carlos Di Prisco

BR SPCLEARQ FAIA-C-Ca-IT182
Item
1983-02-03

Part of Ayda Ignez Arruda

Telex, em espanhol, de AIA e Roberto Cignoli ao Prof. C.A. Di Prisco, confirmando participação no Simpósio e informando da visita da Profa. Cecylia Rauszer.

Untitled

Telex de AIA ao professor Richard Routley

BR SPCLEARQ FAIA-C-Ca-IT232
Item
1983-01-19

Part of Ayda Ignez Arruda

Telex, em inglês, de AIA a Richard Routley aprovando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.

Untitled

Narrow your results by:

Language

Creator

Name

Place

Subject

Level of description

Media type

Showing 599 results