“Mathematics, rightly viewed, possesses not only truth, but supreme beauty – a beauty cold and austere, like that of sculpture.” So said Bertrand Russell, a man widely thought on to be one of the Twentieth Century’s premier logicians. Mr. Petr Stepanek is a constant traveler through today’s sculpture gardens of Mathematical Logic, Logic Programming, Lambda [...]