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

BR SPCLEARQ FAIA-C-Cp-IT309
Item
? - 1982-01-19

Carta, em espanhol, de M. Dickmann para AIA, comunicando seu interesse em vir à Campinas quando de sua participação no VI SLALM e solicitando uma resposta quanto sua vinda ao Brasil. Paris, 19 jan. 1982. Ass.: Marcel Dickmann. 1p.

Untitled

Carta de Marek Palasinski para AIA

BR SPCLEARQ FAIA-C-Cp-IT311
Item
? - 1983-01-14

Part of Ayda Ignez Arruda

Carta, em inglês, de Marek Palasinski para AIA, comunicando seu interesse em vir para o Brasil e relatando suas atividades na Polônia. Cracóvia, 14 jan. 1983. Ass.: Marek. 1p. ms.

Untitled

Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent

BR SPCLEARQ FAIA-Impr-IT470
Item

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the Historical Development of Paraconsistent Logic. Paraconsistent Logic: Essays on the Inconsistent, G. Priest, R. Routley and J. Norman (eds.), München: Philosophia Verlag, p. 99-130. versão preliminar.

Untitled

Le schéma de la séparation dans les systèmes NFn

BR SPCLEARQ FAIA-Impr-IT473
Item
1975-05-26

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Le schéma de la séparation dans les systèmes NFn. C.R. Acad. Sc. Paris, t.280, p. 1341-1341, 26 maio 1975.

Untitled

Remarques sur les systèmes Cn. C.R. Acad. Sc

BR SPCLEARQ FAIA-Impr-IT480
Item
1975-05-21

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Remarques sur les systèmes Cn. C.R. Acad. Sc. Paris, t.280, p. 1253-1256, 21 maio 1975

Untitled

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-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.

Untitled

Sur le syst¨¨me NF¦Ø

BR SPCLEARQ FAIA-Impr-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.

Untitled

Sur les systèmes Nfi de da Costa

BR SPCLEARQ FAIA-Impr-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.

Untitled

Sur un Théorème de Hilbert et Bernays

BR SPCLEARQ FAIA-Impr-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.

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

Remarques sur le système NF1

BR SPCLEARQ FAIA-Impr-IT525
Item
1971-05

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.

Untitled

International Congress on Logical Mathematic and Philosophy of Science

BR SPCLEARQ FAIA-Impr-IT540
Item
1982

Part of Ayda Ignez Arruda

INTERNATIONAL Congress on Logical Mathematic and Philosophy of Science., 7, 11-16 jul. 1983. Cartaz. Salzburg, Austria: 1982. 1p.

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

Circular de Paul Weingartner

BR SPCLEARQ FAIA-AA-DCS-IT100
Item
1983-02-17

Part of Ayda Ignez Arruda

Circular de Paul Weingartner, presidente do comitê organizador local, solicitando o envio de resumo de trabalho a ser apresentado em Salzburgo. Ass.: P. Weingartner

Untitled

Carta de Bernd Wegner para AIA

BR SPCLEARQ FAIA-C-Cp-IT250
Item
1982-04-26

Part of Ayda Ignez Arruda

Carta, em inglês, de Bernd Wegner para AIA, agradecendo pela ajuda e pelo envio de pareceres de artigos. Berlim, 26 abr. 1982. Ass.: [Bernd Wegner]. 1p. dat.

Untitled

Carta de Georg Henrik von Wright para AIA

BR SPCLEARQ FAIA-C-Cp-IT278
Item
1983-06-28

Part of Ayda Ignez Arruda

Carta, em inglês, de Georg Henrik von Wright para AIA, agradecendo o envio do artigo e comentando os trabalhos sobre lógica paraconsistente. Helsinki, 28 jun. 1983. Ass.: Georg Henrik von Wright. 1p. dat.

Untitled

Carta de Alexandre A. Martins Rodrigues para AIA

BR SPCLEARQ FAIA-C-Cp-IT242
Item
1983-04-25

Part of Ayda Ignez Arruda

Carta de Alexandre A. Martins Rodrigues para AIA, comunicando a impossibilidade de participar em bancas de concurso e indicando o período mais apropriado para tal. Saint Martin-d?Hers, 25 abr. 1983. Ass.: Alexandre A. Martins Rodrigues. 1p. ms.

Untitled

Carta de Georg Dorn

BR SPCLEARQ FAIA-C-Cp-IT279
Item
1983-02-25

Part of Ayda Ignez Arruda

Carta, em inglês, de Georg Dorn, organização do VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência, para AIA, convidando-a e solicitando título do trabalho a ser apresentado. Salzburg, 25 fev. 1983. Ass.: Georg Dorn. 1p. dat

Untitled

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT284
Item
1982-07-23

Part of Ayda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, agradecendo e solicitando maiores informações sobre o livro ?Paraconsistent Logic?. Dordrecht, 23 jul. 1982. Ass.: J.C. Kuipers. 1p. dat.

Untitled

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT285
Item
1983-11-16

Part of Ayda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, indagando seu interesse em publicar o livro ?A Survey of Paraconsistent Logic? e solicitando que ela escreva diretamente ao professor Hintikka. Dordrecht, 16 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.

Untitled

Carta de Kazem Sadegh-Zadeh para AIA

BR SPCLEARQ FAIA-C-Cp-IT295
Item
1982-12-20

Part of Ayda Ignez Arruda

Carta, em inglês, de Kazem Sadegh-Zadeh para AIA, agradecendo o cartão de natal recebido, retribuindo e desejando vê-la em breve em Tecklenburg. [Münster], 20 dez. 1982. Ass.: Kazem & Family. 1p. ms.

Untitled

Cartão de Natal de Vladimir A. Smirnov para AIA

BR SPCLEARQ FAIA-C-Cp-IT334
Item

Part of Ayda Ignez Arruda

Cartão de Natal, em inglês, de Vladimir A. Smirnov para AIA, desejando votos de boas festas. Moscou, S.d. S.ass. 1p. ms.

Untitled

Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik

BR SPCLEARQ FAIA-PItm-IT447
Item
[1983]

Part of Ayda Ignez Arruda

Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.

Untitled

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-Impr-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.

Untitled

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-Impr-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

Untitled

Wroctaw: Polish Academy of Sciences

BR SPCLEARQ FAIA-Impr-IT519
Item
1979-10

Part of Ayda Ignez Arruda

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

Calculs de descriptions pour les systèmes formels inconsistants

BR SPCLEARQ FAIA-Impr-IT524
Item
1964

Part of Ayda Ignez Arruda

COSTA, Newton C.A. da. Calculs de descriptions pour les systèmes formels inconsistants. C.R. Acad. Sc. Paris, Paris, t.258, p.1366-68, 1964.

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

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT283
Item
1982-04-23

Part of Ayda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, indagando sobre possível interesse da D. Reidel Publishing Company em publicar o livro ?Paraconsistent Logic?. Dordrecht, 23 abr. 1982. Ass.: J.C. Kuipers. 1p. dat.

Untitled

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT286
Item
1983-11-22

Part of Ayda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, solicitando maiores informações sobre o livro ?The Logical Views of N. A. Vasil?ev?. Dordrecht, 22 nov. 1983. Ass.: J.C. Kuipers. 1p. dat.

Untitled

Narrow your results by:

Language

Creator

Name

Place

Showing 43 results