Mostrando 406 resultados

Descrição arquivística
Ayda Ignez Arruda Português do Brasil
Visualizar impressão Visualizar:

18 resultados com objetos digitais Mostrar os resultados com objetos digitais

Boolean Powers in algebric logic

DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

Ayda Ignez Arruda

Une sémantique pour le calcul C1

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.

Ayda Ignez Arruda

Remarques sur le système NF1

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

Ayda Ignez Arruda

Un calcul des applications

CLIMESCU, Al. Un calcul des applications. Buletinul Institutului Politelinic Din Iasi, s.l., v.17, n.3-4, p.1-5, 1971.

Ayda Ignez Arruda

Wroctaw: Polish Academy of Sciences

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.

Ayda Ignez Arruda

Mathematical Logic

ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando (eds.). Mathematical Logic. New York: Marcel Dekker, [1978].

Ayda Ignez Arruda

Une sémantique pour le calcul C1=. C.R

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.

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

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.

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels

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

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 le schèma de la sèparation

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

O paradoxo de Curry-Moh Shaw-Kwei

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

Ayda Ignez Arruda

Further considerations on the Postulate of Separation

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda

Mathematical Logic in Latin America

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resumo publicado no Philosopher's Index, v.15, n.3, 1982. cópia.

Ayda Ignez Arruda

Mathematical Logic in Latin America

ARRUDA, A.I.; CHUAQUI, R.; COSTA, N.C.A. da. (eds.). Mathematical Logic in Latin America. Amsterdam North-Holland, 1980. Resenha de: WESTRHENEN, S.C. van. Mededelingen van het Wiskundig Genootschap. n.2, fev. 1982. cópia.

Ayda Ignez Arruda

Uma Questão de Lógica

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.

Ayda Ignez Arruda

Sur les systèmes Nfi de da Costa

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

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

Resultados 61 até 90 de 406