Novak's result by Henkin's method
Tom 64 / 1969
Fundamenta Mathematicae 64 (1969), 329-333
DOI: 10.4064/fm-64-3-329-333
