Mostrando 654 resultados

Descrição arquivística
Ayda Ignez Arruda
Opções de pesquisa avançada
Visualizar impressão Visualizar:

Publicação

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

Publicação

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

Publicação

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

Publicação

CLAY, Robert E. Sole axioms for partially ordered sets. Logique et Analyse, p.361-374, 1979.

Ayda Ignez Arruda

Publicação

GERMANO, G. Incompleteness and truth definition. Theoria, s.l., n.37, p.86-90, 1971.

Ayda Ignez Arruda

Publicação

GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951.

Ayda Ignez Arruda

Publicação

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

Ayda Ignez Arruda

Publicação

MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.

Ayda Ignez Arruda

Publicação

WÓJCICK, R. Logical matrices strongly adequate for structural setential calculi. Bulletin del’Académie Polonaise des sciences, v.18, n.6, p.333-335, 1969.

Ayda Ignez Arruda

Publicação

Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

Ayda Ignez Arruda

Resultados 151 até 160 de 654