Sistema de Gentzen

Área de elementos

Taxonomia

Assuntos

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        Sistema de Gentzen

          Termos equivalentes

          Sistema de Gentzen

            Termos associados

            Sistema de Gentzen

              1 Descrição arquivística resultados para Sistema de Gentzen

              1 resultados diretamente relacionados Excluir termos específicos
              Dissertação
              BR SPCLEARQ AMACL-AP-APesq-Or-IT024 · Item · 2010
              Parte de Andrea Maria Altino de Campos Loparic
              Dissertação de mestrado de René Pierre Maximilian Eduard Mazak intitulada 'Um sistema de Gentzen para Cálculos com Identidades Parcial e Universos Abertos', defendida em 2010.