Lawrence Peter Belluce C. C. Chang A Weak Completeness Theorem for Infinite Valued First-Order Logic. 43-50 1963 28 J. Symb. Log. 1 db/journals/jsyml/jsyml28.html#BelluceC63