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

              Somente resultados diretamente relacionados
              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.