「知識と推論 (情報数学講座) 森下 真一」にも
Herbrand定理の証明が記述されてるけど
この本は図書館で目を通されましたか？