Sentence Examples


  • Combinatorics was introduced by Ramsey to solve a special case of the decision problem for the first-order predicate calculus.