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

Sur certaines hiérarchies de calculs propositionnels

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

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

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 certains algèbres de classes non classiques

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

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

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

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

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 Ayda Ignez Arruda

BR SPCLEARQ FNCAC-Cp-IT16
Item
1970-02-07

Part of Newton Carneiro Affonso da Costa

Carta de Ayda Agnez Arruda a NCAC comentando sobre a exposição de seu trabalho e de sua viagem à Europa. Chamalières, 7 de fev. de 1970. 2p. (ms)

Carta de Ayda Ignez Arruda

BR SPCLEARQ FNCAC-Cp-IT17
Item
1970-01-27

Part of Newton Carneiro Affonso da Costa

Carta de Ayda Agnez Arruda a NCAC comentando o seu receio sobre os rumos do desenvolvimento científico na cidade de Campinas e o que essa comunidade está passando. Chamalières, 27 de jan. de 1970. 2p. (ms)

Untitled

Narrow your results by:

Language

Part of

Creator

Name

Place

Subject

Media type

Showing 44 results