Key points are not available for this paper at this time.
The sentential calculus The calculus of classes (monadic predicate calculus) The restricted predicate calculus The extended predicate calculus Editor's notes Bibliography Index.
Goodstein et al. (Sat,) studied this question.