Formalismos dedutivos

From Logic Wiki
Jump to navigation Jump to search
  • Estilos de formalismo dedutivo

  • Sistemas dedutivos particulares:

Para reflexão

  • Será possível mecanizar inteiramente a Matemática?
  • Como caracterizar o principal objeto de estudos da Teoria das Demonstrações (EN: Proof Theory)?
  • Uma questão terminológica: prova ou demonstração? [1] [2] [3] [4]

Veja também

Links externos