Herbrand-Style Consistency Proofs

This publication has 6 references indexed in Scilit:

• Écrits logiques
  Published by CAIRN.INFO ,1968
• A supplement to Herbrand
  The Journal of Symbolic Logic, 1966
• Classification of $AEA$ formulas by letter atoms
  Bulletin of the American Mathematical Society, 1962
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
  Dialectica, 1958
• Models, Translations and Interpretations
  Published by Elsevier ,1955
• Zur Widerspruchsfreiheit der Zahlentheorie
  Mathematische Annalen, 1940