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

              1 Descrição arquivística resultados para Textual

              1369 resultados diretamente relacionados Excluir termos específicos
              Apostila
              BR SPCLEARQ AMACL-AP-APesq-PIT-IT054-IT054.25 · s.d.
              Parte de Andrea Maria Altino de Campos Loparic
              Documento impresso sobre tópicos relacionados à lógica, com anotações manuscritas.
              Apostila
              BR SPCLEARQ AMACL-AP-APesq-PIT-IT054-IT054.28 · s.d.
              Parte de Andrea Maria Altino de Campos Loparic
              Texto intitulado "Um Sistema Dedutivo para o Cálculo de Predicados com identidade e Símbolos Funcionais", além de subsídios relacionados a estratégias dedutivas (regras de abreviação), equivalências tautológicas e estratégias de dedução (sem identidade).
              Apostila
              BR SPCLEARQ AMACL-AP-APesq-PIT-IT054-IT054.18 · s.d.
              Parte de Andrea Maria Altino de Campos Loparic
              Cópia de uma página de um impresso com o título "Lógica II - Estratégias de dedução (sem identidade)" e documento manuscrito sobre definição de tábua de verdade.
              Apostila
              BR SPCLEARQ AMACL-AP-APesq-PIT-IT054-IT054.29 · s.d.
              Parte de Andrea Maria Altino de Campos Loparic
              Texto intitulado "Um Sistema Dedutivo S para o Cálculo de Predicados com Identidade e Símbolos funcionais".
              Artigo
              BR SPCLEARQ AMACL-AP-APesq-PIT-IT030 · Item · 1984
              Parte de Andrea Maria Altino de Campos Loparic
              Artigo manuscrito intitulado "Valuations, parconsistency and paracompleteness", de autoria de Andrea Loparic e Newton Carneiro Affonso da Costa.
              Artigo
              BR SPCLEARQ AMACL-AP-APesq-PIT-IT042 · Item · 1986
              Parte de Andrea Maria Altino de Campos Loparic
              Cópia de artigo manuscrito de Andrea Loparic intitulado "A semantical study of some propositional calculi", contendo alguma anotações em páginas separadas.
              Artigo
              BR SPCLEARQ AMACL-AP-APesq-PITER-IT014 · Item · 1990
              Parte de Andrea Maria Altino de Campos Loparic
              Cópia de artigo de Newton Carneiro Affonso da Costa e Steven French intitulado "The model-theoretic approach in the philosophy of science".
              Artigo
              BR SPCLEARQ AMACL-AP-APesq-PITER-IT032 · Item · 1986 - 1988
              Parte de Andrea Maria Altino de Campos Loparic
              Cópia de artigo de Zeljko Loparic intitulado "Kant e o ceticismo".
              Artigo
              BR SPCLEARQ AMACL-AP-APesq-PITER-IT072 · Item · s.d.
              Parte de Andrea Maria Altino de Campos Loparic
              Texto intitulado "Da Conversio Ad Phantasmata a Conversio Ad Deum e desta a Conversio Ad Mundum".
              Artigo
              BR SPCLEARQ AMACL-AP-APesq-Or-IT021 · Item · s.d.
              Parte de Andrea Maria Altino de Campos Loparic
              [Artigo não publicado] de Manuel Bauer Estivalet intitulado 'Semântica de valorações para extensões de K'.
              Artigo
              BR SPCLEARQ AMACL-AP-APesq-PIT-IT004 · Item · s.d.
              Parte de Andrea Maria Altino de Campos Loparic
              Página inicial de dois artigos: "Logique Mathématique - Sur le calcule (inserir símbolo aqui) de N. da Costa" e "Logique Mathématique - Une sémantique et une méthode de décision pour le Calcul prepositionnel implicatif intuitionniste", com notas de Andrea Maria Altino de Campos Loparic.