Textual

Área de elementos

Taxonomia

Genre

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        Textual

          Termos equivalentes

          Textual

            Termos associados

            Textual

              4348 Descrição arquivística resultados para Textual

              4348 resultados diretamente relacionados Excluir termos específicos
              Publicação
              BR SPCLEARQ AIA-I-57 · Item · 1979
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-68 · Item · 1971
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-69 · Item · 1951
              Parte de Ayda Ignez Arruda

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

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-78 · Item · 1965
              Parte de 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

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-83 · Item · 1976
              Parte de Ayda Ignez Arruda

              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
              BR SPCLEARQ AIA-I-104 · Item · 1969
              Parte de Ayda Ignez Arruda

              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
              BR SPCLEARQ AIA-PIm-A-6 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-PItm-13 · Item · [1976-1978]
              Parte de Ayda Ignez Arruda

              Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-1 · Item · s.d.
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda Ignez. A Evolução do Método Axiomático. Revista Brasileira de Filosofia, São Paulo, v. XIV, fasc. 54, s.d. p. 209-221.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-7 · Item · 1971-05-03
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

               Ayda Ignez Arruda