@article{bwmeta1.element.bwnjournal-article-fmv64i1p26bwm,
author = {H. Doest},
title = {Novak's result by Henkin's method},
journal = {Fundamenta Mathematicae},
volume = {64},
year = {1969},
pages = {329-333},
zbl = {0293.02047},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv64i1p26bwm}
}
Doest, H. Novak's result by Henkin's method. Fundamenta Mathematicae, Tome 64 (1969) pp. 329-333. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv64i1p26bwm/