The creator of Alice in Wonderland was not just an expert in poetic nonsense; Lewis Carroll (or Charles Dodgson, to use his real name) was also an Oxford mathematician with a taste for symbolic logic...