The sentential calculus The calculus of classes (monadic predicate calculus) The restricted predicate calculus The extended predicate calculus Editor's notes Bibliography Index.
No takes yet. Share an insight, caveat, or question.
Goodstein et al. (1951) studied this question.