Есть идея почитать работу
1995, Samuel R. Buss, On Herbrand’s Theorem
http://math.ucsd.edu/~sbuss/ResearchWeb/herbrandtheorem/

В связи с незнанием французского языка, и невозможностью бескровно прочитать книжку:
1930, J. Herbrand, Recherches sur la théorie de la démonstration. Travaux de la société des Sciences et des Lettres de Varsovie, Class III, Sciences Mathématiques et Physiques, 33.

А так же работу
2010-08-18, Richard McKinley, A sequent calculus demonstration of Herbrand’s Theorem
вытащенную из web-archive

Теорема Эрбрана

Отредактировано Лис (2019-11-24 15:34:26)