%0 Journal Article %A H. Doest %T Novak's result by Henkin's method %J Fundamenta Mathematicae %D 1969 %P 329-333 %V 64 %N 3 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4064/fm-64-3-329-333/ %R 10.4064/fm-64-3-329-333 %G en %F 10_4064_fm_64_3_329_333