Textual

Elements area

Taxonomy

Genre

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Textual

          Equivalent terms

          Textual

            Associated terms

            Textual

              1935 Archival description results for Textual

              1935 results directly related Exclude narrower terms
              Publicação
              BR SPCLEARQ AIA-I-40 · Item · 1966-12
              Part of Ayda Ignez Arruda

              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.

               Untitled
              Boletim
              BR SPCLEARQ AIA-I-54 · Item · 1979-10
              Part of Ayda Ignez Arruda

              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.

               Untitled
              Publicação
              BR SPCLEARQ AIA-I-57 · Item · 1979
              Part of Ayda Ignez Arruda

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

               Untitled
              Publicação
              BR SPCLEARQ AIA-I-68 · Item · 1971
              Part of Ayda Ignez Arruda

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

               Untitled
              Publicação
              BR SPCLEARQ AIA-I-69 · Item · 1951
              Part of Ayda Ignez Arruda

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

               Untitled
              Boletim
              BR SPCLEARQ AIA-I-74 · Item · 1974-12
              Part of Ayda Ignez Arruda

              INTERNATIONAL Congress of Logic, Methodology and Philosophy of Science, 5, 27 ago. - 2 set. 1975, London, Ontario, Canada. Bulletin n° 2. London: University of Western Ontario, dez. 1974. 18p.

               Untitled
              Cartaz
              BR SPCLEARQ AIA-I-75 · Item · 1982
              Part of Ayda Ignez Arruda

              INTERNATIONAL Congress on Logical Mathematic and Philosophy of Science., 7, 11-16 jul. 1983. Cartaz. Salzburg, Austria: 1982. 1p.

               Untitled
              Publicação
              BR SPCLEARQ AIA-I-78 · Item · 1965
              Part of 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

               Untitled
              Dissertação de Mestrado
              BR SPCLEARQ AIA-I-80 · Item · 1982-06
              Part of Ayda Ignez Arruda

              LAZARI, Henrique. Comutadores em Variedades de Mal'cev. jun. 1982. 61 p. Dissertação (Mestrado em Matemática) - Instituto de Matemática, Estatística e Ciência da Computação; Universidade Estadual de Campinas. cópia.

               Untitled
              Publicação
              BR SPCLEARQ AIA-I-83 · Item · 1976
              Part of Ayda Ignez Arruda

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

               Untitled