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