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

              1935 Descrição arquivística resultados para Textual

              1935 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-5 · Item · [1981]
              Parte de Ayda Ignez Arruda

              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
              Publicação
              BR SPCLEARQ AIA-PIm-A-10 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-PIm-V-6 · Item · [1983]
              Parte de Ayda Ignez Arruda

              Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

               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