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

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

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

BR SPCLEARQ FAIA-Impr-IT503
Item
1964-06-29

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

Sur une hiérarchies de systèmes formels

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

Untitled

Telex de Ernest Göbel a JCVM

BR SPCLEARQ CJCVM-C-Cp-IT75
Item
1984-06-08

Part of José Carlos Valladão de Mattos

Telex de Ernest Göbel a JCVM informando data de chegada a São Paulo e solicitando providências quanto ao visto. Ass. Ernest Göbel

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

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 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=. 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

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

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

Carta de Jerzey Kotas

BR SPCLEARQ FNCAC-Cp-IT38
Item
1976-05-02

Part of Newton Carneiro Affonso da Costa

Carta de Jerzey Kotas a NCAC comentando sobre sua viagem ao Brasil e do trabalho que eles apresentarão em Campinas. Torun, 2 de maio de 1976. 2p. (ms)

Carta de Paul Dedecker

BR SPCLEARQ FNCAC-Cp-IT101
Item
1996-04-12

Part of Newton Carneiro Affonso da Costa

Carta de Paul Dedecker a NCAC agradecendo pelas fotocópias do artigo "Aspects of paraconsistent logic" e relatando a situação política da Bélgica e a utilização da lógica paraconsistente no meio jurídico. Bélgica, 12 de abr. de 1996. 2p. (ms)

Margareten Gürtel

BR SPCLEARQ FMBW-Ic-5
1985-08

Part of Michael Beaumont Wrigley

Vista da entrada do lado direito

Untitled

Margareten Gürtel

BR SPCLEARQ FMBW-Ic-6
1985-08

Part of Michael Beaumont Wrigley

Vista da entrada do lado esquerdo

Untitled

Casa de Wittgenstein

BR SPCLEARQ FMBW-Ic-11
1985-08

Part of Michael Beaumont Wrigley

Vista das janelas (outro ângulo)

Untitled

Casa de Wittgenstein

BR SPCLEARQ FMBW-Ic-12

Part of Michael Beaumont Wrigley

Vista da esquina da casa onde aparece uma placa com os dizeres: 3.. Kundmanngasse

Untitled

Fotografia

BR SPCLEARQ FNCAC-I-F-0084
Item
1989-09

Part of Newton Carneiro Affonso da Costa

Rémy Freire e Newton Carneiro Affonso da Costa

Carta de Ayda Ignez Arruda

BR SPCLEARQ FNCAC-Cp-IT15
Item
1970-01-01

Part of Newton Carneiro Affonso da Costa

Carta de Ayda Agnez Arruda a NCAC falando de sua estadia em Chamalières e do resultado de suas pesquisas. Chamalières, 1 de jan. de 1970. 2p. (ms)

Carta de Michel Paty

BR SPCLEARQ FNCAC-Cp-IT64
Item
1983-01-07

Part of Newton Carneiro Affonso da Costa

Carta de Michel Paty a NCAC agradecendo o envio do livro sobre os fundamentos da lógica, comentando sobre o mesmo e pedindo desculpas por não ter agradecido antes. [Paris], 7 de jan. de 1983. 1p. (ms)

Carta de Nicola Grana

BR SPCLEARQ FNCAC-Cp-IT94
Item
1986-07-05

Part of Newton Carneiro Affonso da Costa

Carta de Nicola Grana a NCAC enviando o trabalho "On paraconsistent topologic logic" e tecendo comentários sobre o mesmo. Napoli, 5 de jul. 1986. 2p. (acompanha trabalho de 17 páginas)

Carta de Otávio Bueno

BR SPCLEARQ FNCAC-Cp-IT96
Item
1996-01-22

Part of Newton Carneiro Affonso da Costa

Carta de Otávio Bueno a NCAC agradecendo a correspondência recebida e abordando sobre lógica e discussões acadêmicas. Leeds, 22 de jan. de 1996. 2p.

Carta de Otávio Bueno

BR SPCLEARQ FNCAC-Cp-IT98
Item
1996-12-20

Part of Newton Carneiro Affonso da Costa

Carta de Otávio Bueno a NCAC comentando sobre o seu artigo com o professor Dória sobre a lógica Jaskowski (publicado em Studia Lógica 54, 1995) e informando sobre a nova versão de seu trabalho sobre lógica dos Azante. Leeds, 20 de dez de 1996. 1p.

Casa de Wittgenstein