Mostrando 696 resultados

Descrição arquivística
Ayda Ignez Arruda Item Inglês
Visualizar impressão Visualizar:

10 resultados com objetos digitais Exibir resultados com objetos digitais

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

Mathematical Logic

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

Ayda Ignez Arruda

Boletim Informativo

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.201, 23 nov. 1981.

Ayda Ignez Arruda

Boletim Informativo

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, n.205, 21 dez. 1981.

Ayda Ignez Arruda

Boletim Informativo

BOLETIM Informativo. Campinas: Instituto de Física Gleb Wataghin, 27 dez. 1981.

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

A Lógica e a Matemática são idênticas?

HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.

Ayda Ignez Arruda

Lukasiewicz and the Origins of Many-Valued Logic

PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

Ayda Ignez Arruda

Resumos de trabalhos

SIMPÓSIO de Lógica Matemática, 3-5 mar. 1975, Campinas. Resumos dos trabalhos. Campinas: Unicamp, 73p.

Ayda Ignez Arruda

Curriculum vitae de Jerzy Kotas

Curriculum vitae, em inglês de Jerzy Kotas. Torún, 24 nov. 1975. Ass.: J. Kotas. 2p. dat. cópia

Ayda Ignez Arruda

Exibindo 61-90 de 696 resultados