Gisbert Hasenjaeger. Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe. Journal of Symbolic Logic, 18(1):42-48, 1953. [doi]
@article{Hasenjaeger53, title = {Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe}, author = {Gisbert Hasenjaeger}, year = {1953}, url = {http://projecteuclid.org/euclid.jsl/1183731540}, researchr = {https://researchr.org/publication/Hasenjaeger53}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {18}, number = {1}, pages = {42-48}, }