Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

#18 The arithmetical two-step Set by Peter Rowlett You must take two steps to get from a given number to make 10. Each step must change the number by adding, subtracting, multiplying by or ...