暂无分享,去创建一个
Leon Henkin | L. Henkin
[1] L. Henkin. Relativization with respect to formulas and its use in proofs of independence , 1968 .