Visions of Henkin
scientific article; zbMATH DE number 6693203