Which mathematical results has Lewis Carroll, the author of Alice's Adventures in Wonderland, produced? Wikipedia is very vague with regard to this topic and gives us little more than a matrix identity connected with his name.
I would be especially interested in his most important theorems on mathematical logic.