A strong completeness theorem for 3-valued logic. - Harold Goldberg; Hugues Leblanc; George Weaver (Notre Dame J. Formal Log., 1974)