Textual

Elements area

Taxonomy

Genre

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Textual

          Equivalent terms

          Textual

            Associated terms

            Textual

              1957 Archival description results for Textual

              1957 results directly related Exclude narrower terms
              Catálogo
              BR SPCLEARQ AIA-I-72 · Item · 1971
              Part of Ayda Ignez Arruda

              IMECC - UNICAMP. Catálogo de Pós-graduação: 1° semestre. Campinas: Unicamp, 1971. 34p.

               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
              Publicação
              BR SPCLEARQ AIA-I-65 · Item · 1982-08
              Part of Ayda Ignez Arruda

              EINSTEIN, Albert. How I created the theory of relativity. Physics Today, s.l., p.45-47, ago. 1982.

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

              FREGUGLIA, Paolo. Su una interpretazione algebricio-categoriale del silogismo. Archimede, s.l., n.1-2, p.30-41, 1978.

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

              FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.

               Untitled
              Relatório
              BR SPCLEARQ AIA-I-64 · Item · 1975
              Part of Ayda Ignez Arruda

              DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.

               Untitled
              Publicação
              BR SPCLEARQ AIA-I-63 · Item · 1970-09
              Part of Ayda Ignez Arruda

              DEMAREE, Daniel B. The set of quantifiers of an atomic Boolean algebra. Mathematisch Centrum, Amsterdam, 4p. set. 1970.

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

              COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.

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

              DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.

               Untitled