Now showing items 1-1 of 1

    • O problemático sentido finitário das proposições da aritmética 

      de Campos Sanz, Wagner (Horacio Faas, Luis Salvatico, 1998-10)
      No artigo de 1936 "A consistência da teoria elementar de números", Gentzen oferece uma prova da consistencia dessa teoria usando técnicas que segundo ele enquadrar-se-iam como técnicas finitárias. Também afirma, no artigo ...

      DSpace software copyright © 2002-2015  DuraSpace