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},
}