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

BR SPCLEARQ FAIA-AA-Fapesp-DJK-IT054
Item

Termo de concessão de aditivo de auxílio Fapesp do projeto de contratação do professor Jerzy Kotas relativo ao reajuste da passagem de vinda. Ass.: Roberto Cignoli

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

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.

Ayda Ignez Arruda

Telex de AIA

BR SPCLEARQ FAIA-AA-DCS-IT107
Item
1983-02-23

Part of Ayda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Ayda Ignez Arruda

Telex de AIA

BR SPCLEARQ FAIA-AA-DCS-IT107
Item
1983-02-23

Part of Ayda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels

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

Part of 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-I-IT503
Item
1964-06-29

Part of 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 les systèmes Nfi de da Costa

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

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

Sur le syst¨¨me NF¦Ø

BR SPCLEARQ FAIA-I-IT489
Item
1970-05-04

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur le syst¨¨me NF¦Ø. C.R. Acad. Sc. Paris, Paris, t. 270, p. 1137 ¨C 1139, 4 maio 1970.

Ayda Ignez Arruda

Sur le schèma de la sèparation

BR SPCLEARQ FAIA-I-IT502
Item
1970-03

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

Sur la Théorie des Sytèmes Formels Inconsistants

BR SPCLEARQ FAIA-PIm-A-IT367
Item

Part of Ayda Ignez Arruda

Artigo, em francês, de AIA, intitulado Sur la Théorie des Sytèmes Formels Inconsistants. IMECC, S.d., S.ass. 13p. dat. cópia.

Ayda Ignez Arruda

Sur l’ensemble R dans NFw

BR SPCLEARQ FAIA-PIm-EL-IT425
Item

Part of Ayda Ignez Arruda

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Ayda Ignez Arruda

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-I-IT485
Item
1969-03-24

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.

Ayda Ignez Arruda

Sur certains algèbres de classes non classiques

BR SPCLEARQ FAIA-I-IT484
Item
1969-03-31

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certains algèbres de classes non classiques. C.R. Acad. Sc. Paris, t.268, p. 677-680, 31 mar. 1969

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-I-IT486
Item
1967-11-20

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 265, p. 641-644, 20 nov. 1967

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-I-IT488
Item
1968-04-29

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 897-900, 29 abr. 1968.

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-I-IT487
Item
1968-01-08

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 266, p. 37-39, 8 jan. 1968.

Ayda Ignez Arruda

Su una interpretazione algebricio-categoriale del silogismo

BR SPCLEARQ FAIA-I-IT532
Item
1978

Part of Ayda Ignez Arruda

FREGUGLIA, Paolo. Su una interpretazione algebricio-categoriale del silogismo. Archimede, s.l., n.1-2, p.30-41, 1978.

Ayda Ignez Arruda

Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities

BR SPCLEARQ FAIA-PItm-IT442
Item
[1978-1980]

Part of Ayda Ignez Arruda

Artigo, em inglês, de Newton C. A. da Costa e Robert G. Wolf, intitulado Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities. S.l., [1978-1980]. S.ass. 19p. dat.

Ayda Ignez Arruda

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-I-IT494
Item

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

Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-I-IT483
Item
1977

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Some Remarks on Griss Logic of Negationless Intuitionistic Mathematics. Mathematical Logic: Proceedings of the First Brazilian Conference, Nova Iorque, p. 9-29, 1977.

Ayda Ignez Arruda

Some remarks on Griss Logic of Negationless Intuitionistic Mathematics

BR SPCLEARQ FAIA-I-IT482
Item
1977-08

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Some remarks on Griss Logic of Negationless Intuitionistic Mathematics. Campinas: Unicamp, ago. 1977. 21 p. (Relatório Interno nº 58, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Ayda Ignez Arruda

Sole axioms for partially ordered sets

BR SPCLEARQ FAIA-I-IT522
Item
1979

Part of Ayda Ignez Arruda

CLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.

Ayda Ignez Arruda

Sobre os Juízos Particulares/O Triângulo das Oposições e a Lei do Quarto Excluído

BR SPCLEARQ FAIA-PItm-IT462
Item

Part of Ayda Ignez Arruda

Tradução do artigo de N.A. Vasil'év, intitulado Sobre os Juízos Particulares; O Triângulo das Oposições e a Lei do Quarto Excluído. S.l., S.d. S.ass. 45p. dat.

Ayda Ignez Arruda

Narrow your results by:

Language

Part of

Name

Place

Subject

Level of description

Media type

Showing 742 results