Sistema de Gentzen

Elements area

Taxonomy

Subjects

Code

Scope note(s)

    Source note(s)

      Display note(s)

        Hierarchical terms

        Sistema de Gentzen

          Equivalent terms

          Sistema de Gentzen

            Associated terms

            Sistema de Gentzen

              1 Archival description results for Sistema de Gentzen

              1 results directly related Exclude narrower terms
              Dissertação
              BR SPCLEARQ AMACL-AP-APesq-Or-IT024 · Item · 2010
              Part of 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.