Hugues Leblanc Peter Roeper Michael Thau George Weaver Henkin's Completeness Proof: Forty Years Later. 212-232 1991 32 Notre Dame Journal of Formal Logic 2 db/journals/ndjfl/ndjfl32.html#LeblancRTW91