Semi-conservative Reduction

  • Yuri Gurevich

| , Vol 18: pp. 23-25

Download BibTex

Let L be the set of formulas of an ordinary version of the first order predicate calculus. The term “class” is used for “subset of L”.