  Twelve well known `Recreational' numbers are generalized and classified in
three generalized types Hardy, Dudeney, and Wells. A novel proof method to
limit the search for the numbers is exemplified for each of the types.
Combinatorial operators are defined to ease programming the search.
