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-42 · Item · s.d.
              Parte de Ayda Ignez Arruda

              ARRUDA, Ayda I.; COSTA, Newton C.A. da; CHUAQUI, Rolando. Introduction: A Short History of the Latin American Logic Symposia. s.n.t.

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

              CARRUCCIO, Ettore. Mondo Possibili Leibniziani e strutture alla luce della logica matematica. Filosofia-Metodologia-Didatica, p.203-21. s.d.

               Ayda Ignez Arruda
              Publicação
              BR SPCLEARQ AIA-I-63 · Item · 1970-09
              Parte de Ayda Ignez Arruda

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

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

              PALADINO, Dario. Questioni di categoricita delle teorie matematiche. Archimede, v.28, n.1, p.21-34, 1976.

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

              PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.

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

              SMIRNOV, V.A. Logièeskié vzgljády N.A. Vasil’éva. Oèerki po istorii logiki v Rossii. Izdatel'stvo MGU, p.242-257, 1962. Resenha de: COMEY, David Dinsmore. The Journal of Symbolic Logic, s.l., v.30, n.3, p.368-70, 1965.

               Ayda Ignez Arruda
              Rascunho
              BR SPCLEARQ AIA-IU-4 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Rascunho de AIA contendo uma lista de dúvidas e observações relacionadas ao processo de intervenção na Unicamp.

               Ayda Ignez Arruda
              Rascunho
              BR SPCLEARQ JCR-DPP-38 · Item · s.d.
              Parte de Joaquim da Costa Ribeiro 23-11

              Rascunho de JCR anotando data de publicação de portaria ministerial. S.l. S.d. S.ass. 1p. (ms.) 
              Rascunho
              BR SPCLEARQ AIA-PIm-V-11 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Rascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.

               Ayda Ignez Arruda
              Rascunho
              BR SPCLEARQ AIA-AA-DD-7 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Rascunho de AIA contendo ementa para exame de transferência da discplina MA-561

               Ayda Ignez Arruda