AN HERBRAND THEOREM FOR HIGHER ORDER LOGIC
Herman Ruge Jervell · NORA - Norwegian Open Research Archives · 1971
In this paper I will develop an Herbrand theory for higher order logic.In a previous paper (1) I gave Skolem and Herbrand theorems for first order logic.The theory was a further development of the completeness theorems of Beth, Hintikka and Smullyan.Now Prawitz (2) and Takahashi (3) have given similar completenesstheorems for higher order logic.The original idea for this paper