Recursive definitions of well-formed formulas (wff)

Previous slide Back to first slide View graphic version