Completeness Of The Predicate Calculus In The Basic Theory Of Predication